aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet13
1 files changed, 8 insertions, 5 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 489406b4..61d0c004 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -145,7 +145,7 @@ axiom_algebra_bootstrap = \
LNAGG- LSAGG LSAGG- MONOID \
MONOID- MTSCAT NNI OINTDOM \
ORDRING ORDRING- OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- \
+ POLYCAT POLYCAT- \
QFCAT QFCAT- RCAGG \
RCAGG- RING RING- \
RNG RNS RNS- SETAGG \
@@ -163,7 +163,7 @@ axiom_algebra_bootstrap_last_layer = \
INS INS- INT \
MTSCAT NNI \
OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- \
+ POLYCAT POLYCAT- \
QFCAT QFCAT- \
RNS RNS- \
SINT \
@@ -350,6 +350,9 @@ $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT)
$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT)
$(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
$(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT)
+$(OUT)/ES.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT)
+$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT)
+
axiom_algebra_layer_1 = \
ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \
@@ -357,10 +360,10 @@ axiom_algebra_layer_1 = \
DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \
GCDDOM GCDDOM- UFD UFD- ES ES- \
PATAB PPCURVE PSCURVE CACHSET RESLATC REF \
- IDENT SEGCAT BINDING ALIST BOOLEAN \
+ IDENT SEGCAT BINDING ALIST BOOLEAN PRIMARR \
ORDRING ORDRING- FEVALAB FEVALAB- \
OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
- FIELD FIELD-
+ FIELD FIELD- VECTCAT VECTCAT-
axiom_algebra_layer_1_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
@@ -583,7 +586,7 @@ axiom_algebra_layer_11 = \
PR PREASSOC PRIMARR2 REDORDER \
STREAM SYMPOLY \
TS TUPLE UPSCAT UPSCAT- \
- VECTCAT VECTCAT- XDPOLY XEXPPKG \
+ XDPOLY XEXPPKG \
XF XF- XPBWPOLY XPOLY \
XRPOLY