From d6212840afbadebd55736ae749545e0a7715f2d5 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 5 Mar 2008 03:21:26 +0000
Subject: 	* algebra/Makefile.pamphlet (axiom_algebra_layer_strap):
 Derive 	value from $(axiom_algebra_bootstrap). 
 (axiom_algebra_layer_0): Include more categories. 
 (axiom_algebra_layer_1): Likewise. 	(axiom_algebra_layer_2): Likewise. 
 (axiom_algebra_layer_3): Likewise. 	(axiom_algebra_layer_4): Remove some
 constructors. 	(axiom_algebra_layer_5): Likewise.

---
 src/algebra/Makefile.pamphlet | 64 ++++++++++++++++---------------------------
 1 file changed, 23 insertions(+), 41 deletions(-)

(limited to 'src/algebra/Makefile.pamphlet')

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index c99e06f7..abcd635c 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -128,28 +128,7 @@ LAYER0BOOTSTRAP=${OUT}/XPR.$(FASLEXT)
 <<layer0 bootstrap>>=
 # The list of objects necessary to bootstrap the whole algebra library.
 axiom_algebra_layer_strap = \
-  strap/ABELGRP  strap/ABELGRP- strap/ABELMON  strap/ABELMON- \
-  strap/ABELSG   strap/ABELSG-  strap/ALAGG    strap/BOOLEAN  \
-  strap/CABMON   strap/CHAR     strap/CLAGG    strap/CLAGG-   \
-  strap/COMRING  strap/DFLOAT   strap/DIFRING  strap/DIFRING- \
-  strap/DIVRING  strap/DIVRING- strap/ENTIRER  strap/ES       \
-  strap/ES-      strap/EUCDOM   strap/EUCDOM-  strap/FFIELDC  \
-  strap/FFIELDC- strap/FPS      strap/FPS-     strap/GCDDOM   \
-  strap/GCDDOM-  strap/HOAGG    strap/HOAGG-   strap/ILIST    \
-  strap/INS      strap/INS-     strap/INT      strap/INTDOM   \
-  strap/INTDOM-  strap/ISTRING  strap/LIST     strap/LNAGG    \
-  strap/LNAGG-   strap/LSAGG    strap/LSAGG-   strap/MONOID   \
-  strap/MONOID-  strap/MTSCAT   strap/NNI      strap/OINTDOM  \
-  strap/ORDRING  strap/ORDRING- strap/OUTFORM  strap/PI       \
-  strap/PRIMARR  strap/POLYCAT  strap/POLYCAT- strap/PSETCAT  \
-  strap/PSETCAT- strap/QFCAT    strap/QFCAT-   strap/RCAGG    \
-  strap/RCAGG-   strap/REF      strap/RING     strap/RING-    \
-  strap/RNG      strap/RNS      strap/RNS-     strap/SETAGG   \
-  strap/SETAGG-  strap/SETCAT   strap/SETCAT-  strap/SINT     \
-  strap/STAGG    strap/STAGG-   strap/SYMBOL   strap/TSETCAT  \
-  strap/TSETCAT- strap/UFD      strap/UFD-     strap/ULSCAT   \
-  strap/UPOLYC   strap/UPOLYC-  strap/URAGG    strap/URAGG-   \
-  strap/VECTOR
+	$(addprefix strap/,$(axiom_algebra_bootstrap))
 
 axiom_algebra_layer_strap_objects = \
 	$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_strap))
@@ -205,12 +184,12 @@ system.spad.pamphlet  (MSYSCMD)
 <<layer0>>=
 
 axiom_algebra_layer_0 = \
-  AHYP    ATTREG   CFCAT    ELTAB    \
-  KOERCE  KONVERT  MSYSCMD  ODEIFTBL \
-  OM      OMCONN   OMDEV    OUT      \
-  PRIMCAT PRINT    PTRANFN  SPFCAT   \
-  TYPE    UTYPE    PROPLOG  PROPERTY  \
-  BASTYPE BASTYPE- CATEGORY
+  AHYP    ATTREG   CFCAT   ELTAB    KOERCE   KONVERT  \
+  MSYSCMD ODEIFTBL OM      OMCONN   OMDEV    OUT      \
+  PRIMCAT PRINT    PTRANFN SPFCAT   TYPE     UTYPE    \
+  PROPLOG PROPERTY BASTYPE BASTYPE- CATEGORY LMODULE  \
+  RMODULE FINITE   STEP    SGROUP   SGROUP-  ABELSG   \
+  ABELSG- ORDSET   ORDSET- FNCAT    FILECAT  SEXCAT 
 
 axiom_algebra_layer_0_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0))
@@ -239,7 +218,8 @@ axiom_algebra_layer_1 = \
   PATAB    PLOT1    PPCURVE  PSCURVE  \
   REAL     RESLATC  RETRACT  RETRACT- \
   SEGBIND2 SEGCAT   STREAM1  STREAM2  \
-  STREAM3  BINDING  SYNTAX   
+  STREAM3  BINDING  SYNTAX   BMODULE  \
+  LOGIC    LOGIC-
 
 axiom_algebra_layer_1_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
@@ -255,8 +235,9 @@ axiom_algebra_layer_1_objects = \
 
 <<layer2>>=
 axiom_algebra_layer_2 = \
-  FMC   FMFUN   FORTFN  FVC     CTORCALL \
-  FVFUN INTRET  SEGXCAT CONTOUR
+  AGG     AGG-     FMC     FMFUN   FORTFN  \
+  FVC     CTORCALL FVFUN   INTRET  SEGXCAT \
+  CONTOUR
 
 axiom_algebra_layer_2_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2))
@@ -276,7 +257,8 @@ grdef.spad.pamphlet (GRDEF)
 
 <<layer3>>=
 axiom_algebra_layer_3 = \
-  AGG   AGG- GRDEF LIST3 MKFUNC SCOPE
+  ELTAGG   ELTAGG-  GRDEF   IEVALAB  IEVALAB-  \
+  LIST3    MKFUNC   SCOPE
 
 axiom_algebra_layer_3_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_3))
@@ -301,21 +283,21 @@ ystream.spad.pamphlet (YSTREAM)
 <<layer4>>=
 axiom_algebra_layer_4 = \
   ANON     COLOR    COMM     COMPPROP \
-  ELTAGG   ELTAGG-  ESCONT1  EXIT     \
-  FAMONC   FILECAT  FINITE   FNCAT    \
-  FORMULA1 IDPC     IEVALAB  IEVALAB- \
-  INTBIT   LMODULE  LOGIC    LOGIC-   \
+                    ESCONT1  EXIT     \
+  FAMONC                              \
+  FORMULA1 IDPC                       \
+  INTBIT                              \
   MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1  \
   MAPPKG2  MAPPKG3  MONAD    MONAD-   \
   NIPROB   NONE     NUMINT   ODECAT   \
   ODEPROB  OMENC    ONECOMP2 OPTCAT   \
-  OPTPROB  ORDSET   ORDSET-  PALETTE  \
+  OPTPROB                    PALETTE  \
   PARPCURV PARPC2   PARSCURV PARSC2   \
   PARSURF  PARSU2   PATMAB   PATRES2  \
   PATTERN1 PDECAT   PDEPROB  REPSQ    \
-  REPDB    RFDIST   RIDIST   RMODULE  \
-  SEXCAT   SGROUP   SGROUP-  SPACEC   \
-  SPLNODE  STEP     SUCH     TEX1     \
+  REPDB    RFDIST   RIDIST            \
+                             SPACEC   \
+  SPLNODE           SUCH     TEX1     \
   UDVO     YSTREAM  PAIR     ENV 
 
 axiom_algebra_layer_4_nrlibs = \
@@ -336,7 +318,7 @@ equation1.spad.pamphlet (EVALAB IEVALAB)
 
 <<layer5>>=
 axiom_algebra_layer_5 = \
-  ATRIG    ATRIG-   BMODULE  CACHSET  \
+  ATRIG    ATRIG-            CACHSET  \
   CHARNZ   CHARZ    DVARCAT  DVARCAT- \
   ELEMFUN  ELEMFUN- ESTOOLS2 EVALAB   \
   EVALAB-  FCOMP    FEVALAB  FEVALAB- \
-- 
cgit v1.2.3