From 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 7 Jun 2009 04:39:45 +0000 Subject: * algebra/domain.spad.pamphlet (DomainTemplate): New. (FunctorData): Likewise. (functorData$DomainConstructor): Likewise. --- src/algebra/Makefile.pamphlet | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/algebra/Makefile.pamphlet') diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 1d0e4a83..d8ee249a 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -387,12 +387,15 @@ axiom_algebra_layer_1_objects = \ <>= axiom_algebra_layer_2 = \ SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ - COMMONOP KTVLOGIC FNCAT SCACHE BOP BOP1 + COMMONOP KTVLOGIC FNCAT SCACHE BOP BOP1 \ + DOMTMPLT FCTRDATA $(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) +$(OUT)/DOMTMPLT.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) +$(OUT)/FCTRDATA.$(FASLEXT): $(OUT)/DOMTMPLT.$(FASLEXT) axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) -- cgit v1.2.3