File gap-final-dir.diff of Package gap

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(-)

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*)