diff options
| author | Tobias Burnus <tobias@codesourcery.com> | 2020-10-06 11:49:34 +0200 |
|---|---|---|
| committer | Tobias Burnus <tobias@codesourcery.com> | 2020-10-06 11:49:34 +0200 |
| commit | c0d0a722da8583f74a0c192041be2f379cf487c1 (patch) | |
| tree | 257b90b0e446150485d5a371052ca4afad67e675 /configure.ac | |
| parent | e6d995fddea8d5a6fb0a3bdeccf4191e652f6759 (diff) | |
| download | gcc-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.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
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 |