parent af9cbb298352dfbeb66e414428946b11a7b9ee1a () commit f01d2b07a7a668e6b27b9527e070d8315c084d6e Author: Jan Engelhardt 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(-) Index: gap4r8/cnf/configure.in =================================================================== --- gap4r8.orig/cnf/configure.in +++ gap4r8/cnf/configure.in @@ -374,8 +374,11 @@ AC_SUBST(CFLAGS) AC_SUBST(CPPFLAGS) AC_SUBST(LDFLAGS) +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(ABI) AC_SUBST(ABI_CFLAGS) Index: gap4r8/configure.in =================================================================== --- gap4r8.orig/configure.in +++ gap4r8/configure.in @@ -51,8 +51,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` case $target_os in cygwin*)