diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index fc95ce65..c2f97a52 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -2239,6 +2239,14 @@ check: <<diagrams.tex (OUT from IN)>> <<stages>> + +.PHONY: all-algstrap +all-algstrap: $(addsuffix .NRLIB/code.lsp,$(axiom_algebra_bootstrap)) + for a in $(axiom_algebra_bootstrap); do \ + old=$(srcdir)/strap/$$a.lsp; new=$$a.NRLIB/code.lsp; \ + if cmp -s $$new $$old; then cp -p $$new $$old || exit 1; fi; \ + done + mostlyclean-local: @rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase @rm -rf *.NRLIB |