From 119769a5f0b38d1efff362124141b6533d200e27 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 2 Jun 2013 01:35:53 +0000 Subject: Add dependencies for bootstrap --- src/algebra/Makefile.am | 37 +++++++++++++++++++++++++++++-------- src/algebra/Makefile.in | 38 ++++++++++++++++++++++++++++++-------- 2 files changed, 59 insertions(+), 16 deletions(-) (limited to 'src') diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index ac17cfc8..2445be95 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -596,6 +596,10 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \ strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ strap-1/PFECAT.$(FASLEXT) +strap-1/FEVALAB.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) \ + strap-1/EVALAB.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ + strap-1/ELTAB.$(FASLEXT) + strap-1/FPATMAB.$(FASLEXT): strap-1/PATMAB.$(FASLEXT) strap-1/PATAB.$(FASLEXT): strap-1/KONVERT.$(FASLEXT) @@ -616,6 +620,8 @@ 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/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \ strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT) @@ -794,7 +800,7 @@ strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \ strap-1/BOOLEAN.$(FASLEXT) -strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) +strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT) strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \ strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) @@ -900,6 +906,7 @@ strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \ strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \ strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \ strap-2/CHARZ.$(FASLEXT) +strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT) strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \ strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ @@ -911,6 +918,10 @@ strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \ strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \ strap-2/PFECAT.$(FASLEXT) +strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \ + strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \ + strap-2/ELTAB.$(FASLEXT) + strap-2/CHARNZ.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/FPATMAB.$(FASLEXT): strap-2/PATMAB.$(FASLEXT) @@ -922,11 +933,11 @@ strap-2/FLINEXP.$(FASLEXT): strap-2/LINEXP.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \ strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \ strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT) -strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) +strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) +strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT) strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \ strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \ @@ -974,11 +985,11 @@ strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \ strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \ strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) -strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/INS.$(FASLEXT) strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) strap-2/ELTAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT) -strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \ @@ -1003,14 +1014,19 @@ strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT) strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \ strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT) +strap-2/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) +strap-2/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT) strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT) strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ strap-2/IDPAM.$(FASLEXT) strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \ strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT) +strap-2/IDPO.$(FASLEXT): strap-2/IDPC.$(FASLEXT) strap-2/VECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \ strap-2/ARRAY1.$(FASLEXT) +strap-2/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) +strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \ strap-2/PRIMARR.$(FASLEXT) strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) @@ -1057,6 +1073,9 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \ strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ strap-1/PI.$(FASLEXT) +strap-2/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \ + strap-1/A1AGG.$(FASLEXT) # # @@ -1224,10 +1243,12 @@ $(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT) $(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT) $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT) -$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/SETCAT.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) + $(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 7a96f77e..44cbb2de 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -2102,6 +2102,10 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \ strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ strap-1/PFECAT.$(FASLEXT) +strap-1/FEVALAB.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) \ + strap-1/EVALAB.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ + strap-1/ELTAB.$(FASLEXT) + strap-1/FPATMAB.$(FASLEXT): strap-1/PATMAB.$(FASLEXT) strap-1/PATAB.$(FASLEXT): strap-1/KONVERT.$(FASLEXT) @@ -2122,6 +2126,8 @@ 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/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \ strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT) @@ -2300,7 +2306,7 @@ strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \ strap-1/BOOLEAN.$(FASLEXT) -strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) +strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT) strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \ strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) @@ -2406,6 +2412,7 @@ strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \ strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \ strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \ strap-2/CHARZ.$(FASLEXT) +strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT) strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \ strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ @@ -2417,6 +2424,10 @@ strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \ strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \ strap-2/PFECAT.$(FASLEXT) +strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \ + strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \ + strap-2/ELTAB.$(FASLEXT) + strap-2/CHARNZ.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/FPATMAB.$(FASLEXT): strap-2/PATMAB.$(FASLEXT) @@ -2428,11 +2439,11 @@ strap-2/FLINEXP.$(FASLEXT): strap-2/LINEXP.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \ strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \ strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT) -strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) +strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) +strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT) strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \ strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \ @@ -2480,11 +2491,11 @@ strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \ strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \ strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) -strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/INS.$(FASLEXT) strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) strap-2/ELTAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT) -strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \ @@ -2509,14 +2520,19 @@ strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT) strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \ strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT) +strap-2/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) +strap-2/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT) strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT) strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ strap-2/IDPAM.$(FASLEXT) strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \ strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT) +strap-2/IDPO.$(FASLEXT): strap-2/IDPC.$(FASLEXT) strap-2/VECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \ strap-2/ARRAY1.$(FASLEXT) +strap-2/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) +strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \ strap-2/PRIMARR.$(FASLEXT) strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) @@ -2563,6 +2579,10 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \ strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ strap-1/PI.$(FASLEXT) +strap-2/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \ + strap-1/A1AGG.$(FASLEXT) + # # @@ -2597,10 +2617,12 @@ $(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT) $(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT) $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT) -$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/SETCAT.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) + $(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -- cgit v1.2.3