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 2a69bec4..28596791 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1794,7 +1794,7 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) .PRECIOUS: %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad @ rm -rf $*.NRLIB - echo ")co $*.spad" | ${INTERPSYS} --strap=strap + ${INTERPSYS} --strap=strap --compile $< @ <<genericBOOTSTRAPfiles>>= @@ -1851,11 +1851,11 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad @ rm -rf SPADPRSR.NRLIB - echo ")co $(srcdir)/spad-parser.spad" | ${INTERPSYS} + ${INTERPSYS} --compile $< PARSER.NRLIB/code.$(FASLEXT): script-parser.spad @ rm -rf PARSER.NRLIB - echo ")co $(srcdir)/script-parser.spad" | ${INTERPSYS} + ${INTERPSYS} --compile $< @ <<diagrams.tex (OUT from IN)>>= |