From b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 13 Nov 2007 08:35:38 +0000 Subject: src/algebra/ 2007-11-13 Gabriel Dos Reis * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. (axiom_algebra_layer_14): Include SYNTAX.o. * syntax.spad: New algebra file. * domain.spad (Domain$reify): New. src/share/ 2007-11-13 Gabriel Dos Reis * algebra/browse.daase: Update. * algebra/category.daase: Likewise. * algebra/compress.daase: Likewise. * algebra/interp.daase: Likewise. --- src/algebra/Makefile.pamphlet | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/algebra/Makefile.pamphlet') diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 45e3ed77..0dfaba40 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -776,7 +776,7 @@ axiom_algebra_layer_14 = \ TWOFACT.o UNIFACT.o UP.o UPCDEN.o \ UPDECOMP.o UPDIVP.o UPMP.o UPOLYC2.o \ UPXSCAT.o UPSQFREE.o VIEWDEF.o VIEW2D.o \ - VOID.o WEIER.o WP.o + VOID.o WEIER.o WP.o SYNTAX.o axiom_algebra_layer_14_nrlibs = \ $(axiom_algebra_layer_14:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -1853,6 +1853,10 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex <> <> +SYNTAX.NRLIB/code.$(FASLEXT): syntax.spad + @ rm -rf $*.NRLIB + echo ")co $(srcdir)/syntax.spad" | ${INTERPSYS} + DOMAIN.NRLIB/code.$(FASLEXT): domain.spad @ rm -rf $*.NRLIB echo ")co $(srcdir)/domain.spad" | ${INTERPSYS} -- cgit v1.2.3