diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 5ba7f1f3..721df237 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -105,7 +105,7 @@ oa_strap_2_fasls = \ $(addprefix strap-2/,$(addsuffix .$(FASLEXT),$(oa_strap_2_sources))) oa_strap_0_sources = \ - TYPE BASTYPE KOERCE KRCFROM KONVERT RETRACT FRETRCT SETCAT \ + TYPE UTYPE BASTYPE KOERCE KRCFROM KONVERT RETRACT FRETRCT SETCAT \ FINITE ORDTYPE ORDSET ORDFIN \ PROPLOG BOOLE LOGIC \ ABELGRP LLINSET RLINSET LINSET CABMON ABELMON ABELSG \ @@ -122,7 +122,7 @@ oa_strap_0_sources = \ RADCAT AMR FAMR FLINEXP POLYCAT UPOLYC PATAB FPATMAB PFECAT \ KVTFROM SEXCAT QFCAT \ RNS FPS \ - BOOLEAN INT NNI PI LIST VECTOR CHAR STRING + BOOLEAN INT NNI PI MAYBE LIST VECTOR CHAR STRING oa_strap_1_sources = $(oa_strap_0_sources) \ SRAGG AHYP HYPCAT ATRIG TRIGCAT TRANFUN \ @@ -140,6 +140,7 @@ oa_strap_2_sources = $(oa_strap_1_sources) \ ## constructors. ## Consequently, the dependencies listed here are at the categories ## inheritance level; not necessarily at the use level. +strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/KOERCE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/KONVERT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) @@ -303,6 +304,8 @@ strap-0/STRING.$(FASLEXT): strap-0/SRAGG.$(FASLEXT) # We need Boolean to be complete when compiling the defaults of BasicType. strap-1/BOOLEAN.$(FASLEXT): strap-1/BOOLE.$(FASLEXT) +strap-1/MAYBE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/KOERCE.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT): strap-1/BOOLEAN.$(FASLEXT) strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) strap-1/KOERCE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) @@ -325,7 +328,7 @@ strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/ABELMON.$(FASLEXT): strap-1/ABELSG.$(FASLEXT) strap-1/CABMON.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) -strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT) +strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT) strap-1/MAYBE.$(FASLEXT) strap-1/ABELGRP.$(FASLEXT): strap-1/CABMON.$(FASLEXT) \ strap-1/LLINSET.$(FASLEXT) strap-1/RNG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) @@ -420,6 +423,7 @@ strap-2/SINT.$(FASLEXT): strap-2/INT.$(FASLEXT) strap-2/NNI.$(FASLEXT): strap-2/INT.$(FASLEXT) strap-2/PI.$(FASLEXT): strap-2/NNI.$(FASLEXT) strap-2/BOOLEAN.$(FASLEXT): strap-2/SINT.$(FASLEXT) +strap-2/MAYBE.$(FASLEXT): strap-2/BOOLEAN.$(FASLEXT) strap-2/ISTRING.$(FASLEXT): strap-2/INT.$(FASLEXT) strap-2/CHAR.$(FASLEXT): strap-2/PI.$(FASLEXT) strap-2/STRING.$(FASLEXT): strap-2/CHAR.$(FASLEXT) strap-2/ISTRING.$(FASLEXT) @@ -443,6 +447,7 @@ strap-2/ORDSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/ORDTYPE.$(FASLEXT) strap-2/ORDFIN.$(FASLEXT): strap-2/ORDSET.$(FASLEXT) strap-2/FINITE.$(FASLEXT) strap-2/LOGIC.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/BOOLE.$(FASLEXT): strap-2/LOGIC.$(FASLEXT) +strap-2/MONOID.$(FASLEXT): strap-2/MAYBE.$(FASLEXT) strap-2/PROPLOG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/BOOLE.$(FASLEXT) strap-2/PID.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT): strap-2/PID.$(FASLEXT) |