aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-17 03:09:21 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-17 03:09:21 +0000
commitb564095170fdc5bcf894a7606bb33829357d5aae (patch)
tree034ddd0d43be8d8ee8556f08ae53eadfc3300e66 /src/algebra
parent48f637f5c023da0b31ae7460cbb8f3b0eebdf197 (diff)
downloadopen-axiom-b564095170fdc5bcf894a7606bb33829357d5aae.tar.gz
More algebra dependencies.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.am27
-rw-r--r--src/algebra/Makefile.in27
2 files changed, 40 insertions, 14 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
index e6f5a1f4..f0e02c0d 100644
--- a/src/algebra/Makefile.am
+++ b/src/algebra/Makefile.am
@@ -306,7 +306,7 @@ strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \
strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \
strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT)
-strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/CLAGG.$(FASLEXT)
strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
strap-0/ELTAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
@@ -574,11 +574,13 @@ strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \
strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
strap-1/DIFFSPC.$(FASLEXT)
-strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT)
+strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT) \
+ strap-0/NNI.$(FASLEXT)
strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT)
-strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT)
+strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) \
+ strap-0/NNI.$(FASLEXT)
strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
@@ -656,7 +658,15 @@ strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \
strap-1/SETAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
-strap-1/KDAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-1/KDAGG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/DIAGG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT) \
+ strap-1/SMAGG.$(FASLEXT)
+
+strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT)
+
+strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/CLAGG.$(FASLEXT)
+
+strap-1/BGAGG.$(FASLEXT): strap-1/SMAGG.$(FASLEXT)
strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
@@ -963,13 +973,15 @@ strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \
strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \
strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT)
strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT)
+strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
+ strap-1/NNI.$(FASLEXT)
strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
strap-2/DIFFSPC.$(FASLEXT)
strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
strap-2/PDSPC.$(FASLEXT)
strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT)
+strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
+ strap-1/NNI.$(FASLEXT)
strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \
@@ -1601,7 +1613,8 @@ $(OUT)/AMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \
$(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \
$(OUT)/CHARNZ.$(FASLEXT) $(OUT)/INTDOM.$(FASLEXT)
-$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT)
+$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT) \
+ strap-2/INT.$(FASLEXT) strap-2/FRAC.$(FASLEXT)
$(OUT)/FLINEXP.$(FASLEXT): $(OUT)/LINEXP.$(FASLEXT) \
strap-2/MATRIX.$(FASLEXT)
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 27580997..d9d30fe6 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1818,7 +1818,7 @@ strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \
strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \
strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT)
-strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/CLAGG.$(FASLEXT)
strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
strap-0/ELTAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
@@ -2086,11 +2086,13 @@ strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \
strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
strap-1/DIFFSPC.$(FASLEXT)
-strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT)
+strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT) \
+ strap-0/NNI.$(FASLEXT)
strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT)
-strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT)
+strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) \
+ strap-0/NNI.$(FASLEXT)
strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
@@ -2168,7 +2170,15 @@ strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \
strap-1/SETAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
-strap-1/KDAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-1/KDAGG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/DIAGG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT) \
+ strap-1/SMAGG.$(FASLEXT)
+
+strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT)
+
+strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/CLAGG.$(FASLEXT)
+
+strap-1/BGAGG.$(FASLEXT): strap-1/SMAGG.$(FASLEXT)
strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
@@ -2475,13 +2485,15 @@ strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \
strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \
strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT)
strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT)
+strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
+ strap-1/NNI.$(FASLEXT)
strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
strap-2/DIFFSPC.$(FASLEXT)
strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
strap-2/PDSPC.$(FASLEXT)
strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT)
+strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
+ strap-1/NNI.$(FASLEXT)
strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \
@@ -2980,7 +2992,8 @@ $(OUT)/AMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \
$(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \
$(OUT)/CHARNZ.$(FASLEXT) $(OUT)/INTDOM.$(FASLEXT)
-$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT)
+$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT) \
+ strap-2/INT.$(FASLEXT) strap-2/FRAC.$(FASLEXT)
$(OUT)/FLINEXP.$(FASLEXT): $(OUT)/LINEXP.$(FASLEXT) \
strap-2/MATRIX.$(FASLEXT)