aboutsummaryrefslogtreecommitdiff
path: root/config/var-def.mk
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-08-21 03:07:54 +0000
committerdos-reis <gdr@axiomatics.org>2010-08-21 03:07:54 +0000
commitef6d755c944ef5af40c909c6683a3691dc9f6a57 (patch)
tree6846c64d6b110b3f2263f5fcf7ef2d6152677c40 /config/var-def.mk
parent3acb80d8039c289b5257af5eee8e31cca088590d (diff)
downloadopen-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 'config/var-def.mk')
-rw-r--r--config/var-def.mk9
1 files changed, 1 insertions, 8 deletions
diff --git a/config/var-def.mk b/config/var-def.mk
index 3fee05b7..928b1e8c 100644
--- a/config/var-def.mk
+++ b/config/var-def.mk
@@ -235,14 +235,7 @@ oa_include_gcl = @oa_include_gcl@
## -------------------------------------------
## -- Files generated for the build machine --
## -------------------------------------------
-axiom_build_document = $(axiom_top_builddir)/scripts/document
-axiom_build_nowebdir = $(axiom_builddir)/noweb
-
-TANGLE = @NOTANGLE@
-WEAVE = @NOWEAVE@
-## We export TANGLE and WEAVE for use in subshells, such as document.
-export TANGLE
-export WEAVE
+oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT)
AXIOM_LISP = @AXIOM_LISP@
# Extension of the output file name returned by compile-file