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:49:34 +0000 (11:49 +0200)
ChangeLog:
PR target/97302
* configure.ac: Only set with_gmp to /usr/local
if not building in tree.
* configure: Regenerate.

configure
configure.ac

index 057b88966e42edc5a3cc34fc2015fc0cb7de1a8a..a2ea1a329b69de06906315e54a49c694c9704522 100755 (executable)
--- 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
index 392389fb2fb8097d08815259455ff2dc58b4daf3..44fa75f3a329ef68f6800c8e09d49a9373f731cf 100644 (file)
@@ -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