diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index dab60382..e2d6afe9 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -127,7 +127,7 @@ oa_strap_0_sources = \ oa_strap_1_sources = $(oa_strap_0_sources) \ SRAGG ALAGG TBAGG KDAGG OPERCAT MATCAT ARR2CAT FFIELDC \ - SAOS ILIST ISTRING IBITS SEX FLOAT CCLASS REF UNISEG SEG VOID \ + SAOS ILIST IBITS SEX FLOAT CCLASS REF UNISEG SEG VOID \ ALIST SEX PATRES PATTERN BOP ARITY NONE IDENT SET FARRAY IFARRAY \ ANY SEXOF MATRIX IARRAY1 @@ -306,7 +306,6 @@ strap-0/LIST.$(FASLEXT): strap-0/LSAGG.$(FASLEXT) strap-0/PRIMARR.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) strap-0/VECTOR.$(FASLEXT): strap-0/VECTCAT.$(FASLEXT) strap-0/CHAR.$(FASLEXT): strap-0/FSAGG.$(FASLEXT) -strap-0/STRING.$(FASLEXT): strap-0/SRAGG.$(FASLEXT) strap-0/STREAM.$(FASLEXT): strap-0/LZSTAGG.$(FASLEXT) strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/FRAC.$(FASLEXT): strap-0/QFCAT.$(FASLEXT) @@ -454,8 +453,7 @@ strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/INT.$(FASLEXT) \ strap-1/CLAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT) strap-1/FSAGG.$(FASLEXT): strap-1/DIAGG.$(FASLEXT) strap-1/INS.$(FASLEXT) -strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) \ - strap-1/ISTRING.$(FASLEXT) +strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) strap-1/INT.$(FASLEXT): strap-1/STRING.$(FASLEXT) strap-1/ORDRING.$(FASLEXT) \ strap-1/MATRIX.$(FASLEXT) strap-1/PI.$(FASLEXT): strap-1/NNI.$(FASLEXT) @@ -480,9 +478,8 @@ 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) +strap-2/STRING.$(FASLEXT): strap-2/CHAR.$(FASLEXT) strap-2/INT.$(FASLEXT) strap-2/LIST.$(FASLEXT): strap-2/ILIST.$(FASLEXT) strap-2/STRING.$(FASLEXT) strap-2/PRIMARR.$(FASLEXT): strap-2/INT.$(FASLEXT) strap-2/IARRAY1.$(FASLEXT): strap-2/PRIMARR.$(FASLEXT) @@ -789,8 +786,6 @@ $(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/BOOLE-.$(FASLEXT) \ $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) \ $(OUT)/ORDTYPE-.$(FASLEXT) $(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) -$(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) \ - $(OUT)/DIFFSPC-.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT) $(OUT)/STAGG.$(FASLEXT): $(OUT)/URAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT): $(OUT)/SEGCAT.$(FASLEXT) $(OUT)/SEGCAT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) @@ -898,7 +893,7 @@ axiom_algebra_layer_0 = \ FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ - DIOPS DIOPS- STRING ISTRING ILIST \ + DIOPS DIOPS- STRING ILIST \ LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ |