aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in26
1 files changed, 19 insertions, 7 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 15966c3f..e4d99011 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1598,15 +1598,9 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
%.NRLIB/code.$(FASLEXT): %.spad
$(COMPILE_SPAD)
-$(OUTSRC)/%.spad: mk-target-src-algabra-dir
-
${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet
$(oa_hammer) --tangle --output=$@ $<
-.PHONY: mk-target-src-algabra-dir
-mk-target-src-algabra-dir:
- @ [ -d $(OUTSRC) ] || $(mkdir_p) $(OUTSRC)
-
.PRECIOUS: $(builddir)/%.tex
.PRECIOUS: $(builddir)/%.dvi
@@ -1868,12 +1862,30 @@ user-stamp: $(axiom_algebra_layer_user_objects)
@ $(STAMP) user-stamp
+.PHONY: spad-files-stamp
+spad-files-stamp: $(SPADFILES)
+ @ rm -f spad-files-stamp
+ @ $(STAMP) spad-files-stamp
+
+.PHONY: all-initdb
+all-initdb: initdb-stamp
+
+.PHONY: initdb-stamp
+initdb-stamp: initdb.daase
+ @ rm -f initdb-stamp
+ @ $(STAMP) initdb-stamp
+
+initdb.daase: spad-files-stamp
+ $(DRIVER) --execpath=$(INTERPSYS) --system="$(AXIOM)" \
+ --spad-srcdir=$(OUTSRC) \
+ --output=initdb.$$$$ --build-initdb && \
+ $(top_confdir)/move-if-change initdb.$$$$ $@
mostlyclean-local:
@rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase
@rm -rf *.NRLIB
- @rm -rf *.DAASE *.daase libdb.text
+ @rm -rf *.DAASE *.daase libdb.text initdb.*
@rm -rf strap*
@rm -f *stamp