diff options
| -rw-r--r-- | src/algebra/Makefile.am | 43 | ||||
| -rw-r--r-- | src/algebra/Makefile.in | 43 |
2 files changed, 86 insertions, 0 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index 8b559b68..b8573bb1 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -377,6 +377,9 @@ strap-0/SYMBOL.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/BOP.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/OPERCAT.$(FASLEXT) +strap-0/ALAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/TBAGG.$(FASLEXT) \ + strap-0/SMAGG.$(FASLEXT) strap-0/LSAGG.$(FASLEXT) + strap-0/ALIST.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/ALAGG.$(FASLEXT) strap-0/CHAR.$(FASLEXT): strap-0/ORDFIN.$(FASLEXT) @@ -385,6 +388,13 @@ strap-0/KERNEL.$(FASLEXT): strap-0/CACHSET.$(FASLEXT) \ strap-0/SETCAT.$(FASLEXT) \ strap-0/ORDSET.$(FASLEXT) strap-0/PATAB.$(FASLEXT) +strap-0/REPSQ.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/REPDB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/OPERCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/CACHSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/LO.$(FASLEXT): strap-0/MODULE.$(FASLEXT) \ + strap-0/COMRING.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT) + # Bootstrap stage 1 dependencies. # At this stage, we attempt to compile domains essential for completing # the bootstrap process (stage 2). Those that were compiled at stage 0 @@ -849,6 +859,21 @@ strap-1/EQ.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ strap-1/BMODULE.$(FASLEXT) strap-1/COMRING.$(FASLEXT) \ strap-1/VSPACE.$(FASLEXT) strap-1/ES.$(FASLEXT) +strap-1/LA.$(FASLEXT): strap-1/ALGEBRA.$(FASLEXT) \ + strap-1/COMRING.$(FASLEXT) strap-0/LO.$(FASLEXT) + +strap-1/FR.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-1/FEVALAB.$(FASLEXT) \ + strap-1/FRETRCT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) + +strap-1/INFORM.$(FASLEXT): strap-1/SEXCAT.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/SYMBOL.$(FASLEXT) strap-0/INT.$(FASLEXT) \ + strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) + +strap-1/SEGXCAT.$(FASLEXT): strap-1/SEGCAT.$(FASLEXT) + # Bootstrap stage 2 dependencies. # At this stage we recompile everything from stage 1, including # a few more domains. @@ -1463,6 +1488,9 @@ $(OUT)/INS.$(FASLEXT): $(OUT)/UFD.$(FASLEXT) $(OUT)/EUCDOM.$(FASLEXT) \ strap-2/PATTERN.$(FASLEXT) strap-2/PI.$(FASLEXT) \ strap-2/NNI.$(FASLEXT) +$(OUT)/CHARZ.$(FASLEXT): $(OUT)/RING.$(FASLEXT) +$(OUT)/CHARNZ.$(FASLEXT): $(OUT)/RING.$(FASLEXT) + $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) $(OUT)/SRING.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) @@ -1471,9 +1499,21 @@ $(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/SRING.$(FASLEXT) \ $(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) $(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/CABMON.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) + $(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) \ $(OUT)/REPSQ.$(FASLEXT) +$(OUT)/FIELD.$(FASLEXT): $(OUT)/EUCDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT) \ + $(OUT)/DIVRING.$(FASLEXT) strap-2/FR.$(FASLEXT) + +$(OUT)/EUCDOM.$(FASLEXT): $(OUT)/PID.$(FASLEXT) +$(OUT)/PID.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) + +$(OUT)/DIVRING.$(FASLEXT): $(OUT)/ENTIRER.$(FASLEXT) \ + $(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) \ + strap-2/PI.$(FASLEXT) strap-2/FRAC.$(FASLEXT) + $(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ $(OUT)/MONOID.$(FASLEXT) $(OUT)/COMRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) @@ -1500,6 +1540,9 @@ $(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ $(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) \ strap-2/PATTERN.$(FASLEXT) +$(OUT)/GROUP.$(FASLEXT): $(OUT)/GROUP.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) \ + strap-2/PI.$(FASLEXT) strap-2/INT.$(FASLEXT) + oa_algebra_layer_0 = \ TYPE BINOPC BINOP IDEMOPC SGPOPC SGPOP \ diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 53378342..6ea9201d 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1889,6 +1889,9 @@ strap-0/SYMBOL.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/BOP.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/OPERCAT.$(FASLEXT) +strap-0/ALAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/TBAGG.$(FASLEXT) \ + strap-0/SMAGG.$(FASLEXT) strap-0/LSAGG.$(FASLEXT) + strap-0/ALIST.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/ALAGG.$(FASLEXT) strap-0/CHAR.$(FASLEXT): strap-0/ORDFIN.$(FASLEXT) @@ -1897,6 +1900,13 @@ strap-0/KERNEL.$(FASLEXT): strap-0/CACHSET.$(FASLEXT) \ strap-0/SETCAT.$(FASLEXT) \ strap-0/ORDSET.$(FASLEXT) strap-0/PATAB.$(FASLEXT) +strap-0/REPSQ.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/REPDB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/OPERCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/CACHSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/LO.$(FASLEXT): strap-0/MODULE.$(FASLEXT) \ + strap-0/COMRING.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT) + # Bootstrap stage 1 dependencies. # At this stage, we attempt to compile domains essential for completing # the bootstrap process (stage 2). Those that were compiled at stage 0 @@ -2361,6 +2371,21 @@ strap-1/EQ.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ strap-1/BMODULE.$(FASLEXT) strap-1/COMRING.$(FASLEXT) \ strap-1/VSPACE.$(FASLEXT) strap-1/ES.$(FASLEXT) +strap-1/LA.$(FASLEXT): strap-1/ALGEBRA.$(FASLEXT) \ + strap-1/COMRING.$(FASLEXT) strap-0/LO.$(FASLEXT) + +strap-1/FR.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-1/FEVALAB.$(FASLEXT) \ + strap-1/FRETRCT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) + +strap-1/INFORM.$(FASLEXT): strap-1/SEXCAT.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/SYMBOL.$(FASLEXT) strap-0/INT.$(FASLEXT) \ + strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) + +strap-1/SEGXCAT.$(FASLEXT): strap-1/SEGCAT.$(FASLEXT) + # Bootstrap stage 2 dependencies. # At this stage we recompile everything from stage 1, including # a few more domains. @@ -2843,6 +2868,9 @@ $(OUT)/INS.$(FASLEXT): $(OUT)/UFD.$(FASLEXT) $(OUT)/EUCDOM.$(FASLEXT) \ strap-2/PATTERN.$(FASLEXT) strap-2/PI.$(FASLEXT) \ strap-2/NNI.$(FASLEXT) +$(OUT)/CHARZ.$(FASLEXT): $(OUT)/RING.$(FASLEXT) +$(OUT)/CHARNZ.$(FASLEXT): $(OUT)/RING.$(FASLEXT) + $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) $(OUT)/SRING.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) @@ -2851,9 +2879,21 @@ $(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/SRING.$(FASLEXT) \ $(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) $(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/CABMON.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) + $(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) \ $(OUT)/REPSQ.$(FASLEXT) +$(OUT)/FIELD.$(FASLEXT): $(OUT)/EUCDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT) \ + $(OUT)/DIVRING.$(FASLEXT) strap-2/FR.$(FASLEXT) + +$(OUT)/EUCDOM.$(FASLEXT): $(OUT)/PID.$(FASLEXT) +$(OUT)/PID.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) + +$(OUT)/DIVRING.$(FASLEXT): $(OUT)/ENTIRER.$(FASLEXT) \ + $(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) \ + strap-2/PI.$(FASLEXT) strap-2/FRAC.$(FASLEXT) + $(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ $(OUT)/MONOID.$(FASLEXT) $(OUT)/COMRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) @@ -2880,6 +2920,9 @@ $(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ $(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) \ strap-2/PATTERN.$(FASLEXT) +$(OUT)/GROUP.$(FASLEXT): $(OUT)/GROUP.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) \ + strap-2/PI.$(FASLEXT) strap-2/INT.$(FASLEXT) + $(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) $(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) $(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) |