diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-24 03:17:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-24 03:17:31 +0000 |
| commit | ffbca7d35e4541017c1e1d736dacbe27e0de2c21 (patch) | |
| tree | 6472437711d170ee121540af466b96ed57caab53 /src/algebra | |
| parent | d7d39823cf29e2b981e20fee3b0454624897371d (diff) | |
| download | open-axiom-ffbca7d35e4541017c1e1d736dacbe27e0de2c21.tar.gz | |
* algebra/Makefile.in: Support construction initial DB profile.
* interp/database.boot (printInitdbInfo): New.
(printAllInitdbInfo): Likewise.
* interp/sys-driver.boot (initializeDatabases): Exit early if
constructing initial DB profile.
(buildInitdbHandler): New. Handle --build-initdb.
* utils/command.cc (driver_table): Add map for --build-initdb.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 26 |
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 |