diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index ad0818cf..1d0e4a83 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -255,11 +255,11 @@ $(OUT)/LOGIC.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \ $(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) -$(OUT)/MODULE.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) +$(OUT)/MODULE.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/LINSET.$(FASLEXT) $(OUT)/ALGEBRA.$(FASLEXT): $(OUT)/MODULE.$(FASLEXT) $(OUT)/OAGROUP.$(FASLEXT): $(OUT)/OCAMON.$(FASLEXT) $(OUT)/OCAMON.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) @@ -267,10 +267,13 @@ $(OUT)/OAMON.$(FASLEXT): $(OUT)/OASGP.$(FASLEXT) $(OUT)/OASGP.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) $(OUT)/RNG.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) +$(OUT)/LLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/RLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/LINSET.$(FASLEXT): $(OUT)/LLINSET.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) + $(OUT)/CTORKIND.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) $(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/RTVALUE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) @@ -284,7 +287,7 @@ axiom_algebra_layer_0 = \ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ ABELSG- ORDSET ORDSET- OASGP FILECAT SEXCAT \ MODULE MODULE- PID OAGROUP OCAMON OAMON \ - RNG ORDFIN \ + RNG ORDFIN LLINSET RLINSET LINSET \ MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ @@ -333,7 +336,7 @@ $(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) \ $(OUT)/LMODULE.$(FASLEXT) $(OUT)/KOERCE.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) -$(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) +$(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) $(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RING.$(FASLEXT) \ $(OUT)/MONOID.$(FASLEXT) @@ -347,17 +350,17 @@ $(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT) $(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \ - $(OUT)/PATAB.$(FASLEXT) + $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) $(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) $(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) $(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) $(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) +$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ |