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: gap4r6/cnf/configure.in =================================================================== --- gap4r6.orig/cnf/configure.in +++ gap4r6/cnf/configure.in @@ -352,8 +352,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: gap4r6/configure.in =================================================================== --- gap4r6.orig/configure.in +++ gap4r6/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` AC_ARG_VAR(CONFIGNAME,[Supply a (meaningful) name for the configuration you are building. This name will be appended to the architecture-dependent named