diff options
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 197ac760..14a4c8db 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1135,6 +1135,14 @@ user-stamp: bootstrap-stamp $(axiom_algebra_layer_user_objects) + +.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 |