From 5b0bfceb3efc34578e1de66194b835bb48009466 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 16 Jun 2010 16:27:37 +0000 Subject: * algebra/catdef.spad.pamphlet (DifferentialModule): New. (PartialDifferentialDomain): Likewise. --- src/algebra/Makefile.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/algebra/Makefile.in') diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 8d53e502..3a7c745b 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -339,6 +339,8 @@ $(OUT)/OUT.$(FASLEXT): $(OUT)/VOID.$(FASLEXT) $(OUT)/DIFFDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/DIFFSPC.$(FASLEXT): $(OUT)/DIFFDOM.$(FASLEXT) +$(OUT)/DIFFMOD.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/PDDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) axiom_algebra_layer_0 = \ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ @@ -363,9 +365,9 @@ axiom_algebra_layer_0 = \ RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ DIOPS DIOPS- STRING STRICAT ISTRING ILIST \ - LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- \ + LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ - RTVALUE SYSPTR + RTVALUE SYSPTR PDDOM PDDOM- axiom_algebra_layer_0_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) -- cgit v1.2.3