diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 45536ced..aaf1a1e9 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1798,7 +1798,7 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) .PRECIOUS: %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad @ rm -rf $*.NRLIB - ${INTERPSYS} --strap=strap --compile $< + ${INTERPSYS} --strap=strap --system-algebra --compile $< @ <<genericBOOTSTRAPfiles>>= @@ -1855,11 +1855,11 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad @ rm -rf SPADPRSR.NRLIB - ${INTERPSYS} --compile $< + ${INTERPSYS} --system-algebra --compile $< PARSER.NRLIB/code.$(FASLEXT): script-parser.spad @ rm -rf PARSER.NRLIB - ${INTERPSYS} --compile $< + ${INTERPSYS} --system-algebra --compile $< @ <<diagrams.tex (OUT from IN)>>= |