summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2010-12-12 23:29:50 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2010-12-12 23:29:50 +0000
commit02fd134fabce8e36c4f8ead1ad65b269bdabc9a6 (patch)
tree2ed2e42522ceaee7161771aef6947402e531f7c2 /configure.ac
parent95e390b2234800693bc2ac528ce9a68eb4c70f73 (diff)
downloadmpfr-02fd134fabce8e36c4f8ead1ad65b269bdabc9a6.tar.gz
[configure.ac] With --with-gmp-build, do not duplicate the include
search paths if the GMP source and build directories are the same. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7292 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 0c40a0868..57f7af685 100644
--- a/configure.ac
+++ b/configure.ac
@@ -84,6 +84,7 @@ AC_ARG_WITH(gmp_build,
GMP_CC=`$SED -n 's/^CC = //p' $withval/Makefile`
GMP_SOURCE=`$SED -n 's/^srcdir = *//p' $withval/Makefile`
case "$GMP_SOURCE" in
+ .) GMP_SOURCE="" ;;
/*) ;;
?*) GMP_SOURCE="$withval/$GMP_SOURCE" ;;
esac