diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 13 |
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 |