aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/algebra/Makefile.am43
-rw-r--r--src/algebra/Makefile.in43
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)