diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 9 |
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 |