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.pamphlet | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/algebra/Makefile.pamphlet') diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index c5618b5a..8a88d732 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -293,6 +293,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 \ @@ -317,9 +319,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