]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
configure: Fix in-tree building of GMP on BSD [PR97302]
authorTobias Burnus <tobias@codesourcery.com>
Tue, 6 Oct 2020 09:49:34 +0000 (11:49 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Tue, 6 Oct 2020 09:51:03 +0000 (11:51 +0200)
ChangeLog:
PR target/97302
* configure.ac: Only set with_gmp to /usr/local
if not building in tree.
* configure: Regenerate.
(cherry picked from commit c0d0a722da8583f74a0c192041be2f379cf487c1)

configure
configure.ac

index 4cc938ebb7d8dc3447a7bf7effda353b827b5b50..f2ec106a86e54a3f1bb9f33bc9a379eeffcb2733 100755 (executable)
--- a/configure
+++ b/configure
@@ -3762,6 +3762,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
index c78d9cbea62d75c75e0ebe0f8efc6dbbe13c4fcc..115db3f402a8daea45117f481a1b012618e3052a 100644 (file)
@@ -1037,6 +1037,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