diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
commit | ef6d755c944ef5af40c909c6683a3691dc9f6a57 (patch) | |
tree | 6846c64d6b110b3f2263f5fcf7ef2d6152677c40 /src/interp | |
parent | 3acb80d8039c289b5257af5eee8e31cca088590d (diff) | |
download | open-axiom-ef6d755c944ef5af40c909c6683a3691dc9f6a57.tar.gz |
External tool noweb is no longer required.
* INSTALL: Update instructions.
* Makefile.pamphlet: Remove rules for building noweb.
(AXIOM_SRC_TARGETS): Include all-utils.
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for
notangle and noweave.
* config/setup-dep.mk: Remove rules for generating document.
* config/var-def.mk: Remove NOTANGLE and NOWEAVE variables.
* configure.ac: Instantiate Makefile for src/utils.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/Makefile.in | 4 | ||||
-rw-r--r-- | src/interp/Makefile.pamphlet | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index bf46316f..6fbfdf3c 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -219,11 +219,9 @@ ${AXIOMSYS}: database.date \ --load-directory=. $(OBJS) makeint.$(LNKEXT) @ echo 6a $@ created exposed.lsp: $(axiom_src_algdir)/exposed.lsp.pamphlet - @ echo 615 making exposed.lsp from $(axiom_src_algdir)/exposed.lsp.pamphlet - $(axiom_build_document) --tangle --output=$@ $< + $(oa_hammer) --tangle --output=$@ $< $(axiom_targetdir)/algebra/exposed.$(FASLEXT) : exposed.lsp boot-pkg.$(LNKEXT) - @ echo 616 making $@ from exposed.lsp $(mkdir_p) $(axiom_targetdir)/algebra $(BOOTSYS) --compile --output=$@ --load-directory=. $< diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index c3714e72..a1579c1c 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -410,11 +410,9 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex \end{verbatim} <<databases>>= exposed.lsp: $(axiom_src_algdir)/exposed.lsp.pamphlet - @ echo 615 making exposed.lsp from $(axiom_src_algdir)/exposed.lsp.pamphlet - $(axiom_build_document) --tangle --output=$@ $< + $(oa_hammer) --tangle --output=$@ $< $(axiom_targetdir)/algebra/exposed.$(FASLEXT) : exposed.lsp boot-pkg.$(LNKEXT) - @ echo 616 making $@ from exposed.lsp $(mkdir_p) $(axiom_targetdir)/algebra $(BOOTSYS) --compile --output=$@ --load-directory=. $< |