diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/open-axiom.m4 | 2 | ||||
| -rw-r--r-- | config/var-def.mk | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index d7de600a..fac0f7d0 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -554,6 +554,8 @@ AC_DEFUN([OPENAXIOM_BUILD_TOOLS],[ AC_CHECK_PROG([TOUCH], [touch], [touch], [AC_MSG_ERROR(['touch' program is missing.])]) AC_PROG_INSTALL +AC_PROG_LN_S +AC_PROG_SED AC_CHECK_PROGS([MKTEMP], [mktemp]) AC_PROG_AWK diff --git a/config/var-def.mk b/config/var-def.mk index a086ae71..b17f82ec 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -194,6 +194,7 @@ axiom_target_srcdir = $(axiom_targetdir)/src axiom_target_docdir = $(axiom_targetdir)/doc axiom_target_datadir = $(axiom_targetdir)/share axiom_target_texdir = $(axiom_target_datadir)/texmf/tex +oa_target_includedir = $(axiom_targetdir)/include ## Where OpenAxiom keeps the tarballs for optional components |