diff options
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 27 |
1 files changed, 20 insertions, 7 deletions
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) |