parent af9cbb298352dfbeb66e414428946b11a7b9ee1a ()
commit f01d2b07a7a668e6b27b9527e070d8315c084d6e
Author: Jan Engelhardt <jengelh@medozas.de>
Date:   Sun Jun 26 10:48:09 2011 +0200

build: add a --with-gapdir option to specify future location of GAP
---
 cnf/configure.in |    5 ++++-
 configure.in     |    6 +++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/cnf/configure.in b/cnf/configure.in
index 2b9f78b..8c7a543 100644
--- a/cnf/configure.in
+++ b/cnf/configure.in
@@ -288,8 +288,11 @@ dnl ##
 dnl ## generate a makefile
 dnl ##
 
+AC_ARG_WITH([gapbindir],
+ AS_HELP_STRING([--with-gapbindir], [Denote the final location of GAP]),
+ [gapbin="$withval"],
+ [gapbin="$PWD"])
 AC_SUBST(gapbin)
-gapbin=`pwd`
 
 AC_SUBST(BUILD_MODE)
 AC_SUBST(ABI_CFLAGS)
diff --git a/configure.in b/configure.in
index c24e506..7063e6f 100644
--- a/configure.in
+++ b/configure.in
@@ -59,8 +59,12 @@ AC_PROG_CC
 BASECC=`basename ${CC}`
 AC_SUBST(BASECC)
 AC_PROG_MAKE_SET
+
+AC_ARG_WITH([gapdir],
+ AS_HELP_STRING([--with-gapdir], [Denote the final location of GAP]),
+ [gapdir="$withval"],
+ [gapdir="$PWD"])
 AC_SUBST(gapdir)
-gapdir=`pwd`
 
 AC_ARG_WITH(gmp,
  AC_HELP_STRING( [--with-gmp],
-- 
# Created with git-export-patch