aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Burnus <tobias@codesourcery.com>2020-10-06 11:49:34 +0200
committerTobias Burnus <tobias@codesourcery.com>2020-10-06 11:49:34 +0200
commitc0d0a722da8583f74a0c192041be2f379cf487c1 (patch)
tree257b90b0e446150485d5a371052ca4afad67e675
parente6d995fddea8d5a6fb0a3bdeccf4191e652f6759 (diff)
downloadgcc-c0d0a722da8583f74a0c192041be2f379cf487c1.zip
gcc-c0d0a722da8583f74a0c192041be2f379cf487c1.tar.gz
gcc-c0d0a722da8583f74a0c192041be2f379cf487c1.tar.bz2
configure: Fix in-tree building of GMP on BSD [PR97302]
ChangeLog: PR target/97302 * configure.ac: Only set with_gmp to /usr/local if not building in tree. * configure: Regenerate.
-rwxr-xr-xconfigure1
-rw-r--r--configure.ac1
2 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 057b889..a2ea1a3 100755
--- a/configure
+++ b/configure
@@ -3764,6 +3764,7 @@ case "${target}" in
;;
*-*-freebsd*)
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
+ && ! test -d ${srcdir}/gmp \
&& test -f /usr/local/include/gmp.h; then
with_gmp=/usr/local
fi
diff --git a/configure.ac b/configure.ac
index 392389f..44fa75f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1038,6 +1038,7 @@ case "${target}" in
;;
*-*-freebsd*)
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
+ && ! test -d ${srcdir}/gmp \
&& test -f /usr/local/include/gmp.h; then
with_gmp=/usr/local
fi