diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-07 04:39:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 04:39:45 +0000 |
| commit | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (patch) | |
| tree | 68c3a7460fc599833cb259a3709564160d43afcd /src/algebra/Makefile.in | |
| parent | 569c20a430023be60c2b38f47bccc5810c6980aa (diff) | |
| download | open-axiom-03ca123dfb990c5ea8dde05b6f10902e4a4019b9.tar.gz | |
* algebra/domain.spad.pamphlet (DomainTemplate): New.
(FunctorData): Likewise.
(functorData$DomainConstructor): Likewise.
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index db050ac9..47010830 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -423,12 +423,15 @@ axiom_algebra_layer_1_objects = \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1))) 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)) |