diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-26 05:06:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-26 05:06:31 +0000 |
| commit | 95feb5d4024c0d440a6891cfad6606dcb78f8b21 (patch) | |
| tree | 10b3e007e1b8df0506a861d42a3feb8d9df10202 /config | |
| parent | 5a9b61c826838b7f97db1ad3b3c350482d407377 (diff) | |
| download | open-axiom-95feb5d4024c0d440a6891cfad6606dcb78f8b21.tar.gz | |
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s
and sed.
* config/var-def.mk (oa_target_includedir): New.
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 |