From d5c29fa0bc701ece460849cf1d3dbdf761250f86 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 30 Jun 2010 11:30:50 +0000 Subject: * interp/c-util.boot (getRepresentation): Tidy. * interp/define.boot (checkRepresentation): Don't compile the base domain here yet. --- src/algebra/Makefile.pamphlet | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'src/algebra/Makefile.pamphlet') diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index f57b7839..b51a660e 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -343,7 +343,7 @@ axiom_algebra_layer_0_objects = \ <>= $(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) -$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/PSCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) @@ -394,6 +394,7 @@ $(OUT)/PDMOD.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) \ $(OUT)/COMRING.$(FASLEXT) $(OUT)/MODULE.$(FASLEXT) $(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ $(OUT)/PDMOD.$(FASLEXT) +$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -405,8 +406,8 @@ axiom_algebra_layer_1 = \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ FIELD FIELD- VECTCAT VECTCAT- IARRAY1 BOOLE \ - PROPERTY ARITY OPERCAT OPERCAT- PAIR \ - RADCAT RADCAT- PDMOD DMEXT + PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ + RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -560,13 +561,12 @@ axiom_algebra_layer_7_objects = \ $(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT) $(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT) -$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) axiom_algebra_layer_8 = \ BSTREE BTOURN CARD DRAWHACK FACTFUNC FMTC \ FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \ NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \ - BTREE STREAM LZSTAGG LZSTAGG- ARR2CAT ARR2CAT- + BTREE ARR2CAT ARR2CAT- axiom_algebra_layer_8_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8)) @@ -892,6 +892,7 @@ axiom_algebra_layer_18_objects = \ <>= $(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) $(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/FEXPR.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT) axiom_algebra_layer_19 = \ ACPLOT ANTISYM ATTRBUT \ @@ -901,7 +902,7 @@ axiom_algebra_layer_19 = \ EP E04AGNT FCPAK1 FEXPR \ FFCAT FFCAT- FFCGP FFNBP \ FFP FLOAT FPARFRAC FR \ - FRNAALG FRNAALG- \ + FRNAALG FRNAALG- EXPR \ FUNCTION GDMP HACKPI \ IDEAL INFORM INFORM1 IPRNTPK \ IR ISUPS LIB \ @@ -968,7 +969,7 @@ axiom_algebra_layer_20 = \ SFORT SOLVESER SUMFS SUTS \ TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \ ULSCCAT- UPXSSING UTSODE UTSODETL \ - UTS2 WUTSET EXPR + UTS2 WUTSET axiom_algebra_layer_20_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20)) -- cgit v1.2.3