mirror of git://gcc.gnu.org/git/gcc.git
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.
This commit is contained in:
parent
e6d995fdde
commit
c0d0a722da
|
@ -3764,6 +3764,7 @@ case "${target}" in
|
||||||
;;
|
;;
|
||||||
*-*-freebsd*)
|
*-*-freebsd*)
|
||||||
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
|
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
|
||||||
|
&& ! test -d ${srcdir}/gmp \
|
||||||
&& test -f /usr/local/include/gmp.h; then
|
&& test -f /usr/local/include/gmp.h; then
|
||||||
with_gmp=/usr/local
|
with_gmp=/usr/local
|
||||||
fi
|
fi
|
||||||
|
|
|
@ -1038,6 +1038,7 @@ case "${target}" in
|
||||||
;;
|
;;
|
||||||
*-*-freebsd*)
|
*-*-freebsd*)
|
||||||
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
|
if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
|
||||||
|
&& ! test -d ${srcdir}/gmp \
|
||||||
&& test -f /usr/local/include/gmp.h; then
|
&& test -f /usr/local/include/gmp.h; then
|
||||||
with_gmp=/usr/local
|
with_gmp=/usr/local
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue