aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 5e3d9ad0..b9c956c6 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -1235,7 +1235,7 @@ zerodim.spad.pamphlet (LEXTRIPK IRURPK RURPK)
axiom_algebra_layer_23 = \
CPIMA.o IRURPK.o LAZM3PK.o LEXTRIPK.o \
NORMPK.o QCMPACK.o RURPK.o SFRGCD.o \
- SFQCMPK.o INTRVL.o ODEEF.o
+ SFQCMPK.o INTRVL.o ODEEF.o DOMAIN.o
axiom_algebra_layer_23_nrlibs = \
$(axiom_algebra_layer_23:.$(OBJEXT)=.NRLIB/code.$(OBJEXT))
@@ -1853,6 +1853,10 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
<<genericSPADfiles>>
<<genericDOCfiles>>
+DOMAIN.NRLIB/code.$(FASLEXT): domain.spad
+ @ rm -rf $*.NRLIB
+ echo ")co $(srcdir)/domain.spad" | ${INTERPSYS}
+
@
<<diagrams.tex (OUT from IN)>>=