diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 130b228f..7d7846c0 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -919,13 +919,13 @@ check: +.PRECIOUS: $(OUT)/%.$(FASLEXT) ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) cp $< $@ .PRECIOUS: %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad - @ rm -rf $*.NRLIB ${INTERPSYS} --strap=strap --system-algebra --optimize=2 --compile $< # Compile bootstrap file to machine object code, and the result # immediately available for AXIOMsys consumption. @@ -966,11 +966,9 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex @cp -p $< $@ SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad - @ rm -rf SPADPRSR.NRLIB ${INTERPSYS} --system-algebra --compile $< PARSER.NRLIB/code.$(FASLEXT): script-parser.spad - @ rm -rf PARSER.NRLIB ${INTERPSYS} --system-algebra --compile $< |