gmp: if no --enable-gmp=x provided, assume auto

This commit is contained in:
Daniel Kochmański 2016-10-07 20:23:22 +02:00
parent 49e74a6243
commit 25fe2cda34
2 changed files with 5 additions and 7 deletions

6
src/configure vendored
View file

@ -5268,7 +5268,7 @@ case ${enable_gmp} in #(
with_system_gmp=no ;; #(
system) :
with_system_gmp=yes ;; #(
auto) :
*) :
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for __gmpz_init in -lgmp" >&5
$as_echo_n "checking for __gmpz_init in -lgmp... " >&6; }
if ${ac_cv_lib_gmp___gmpz_init+:} false; then :
@ -5310,9 +5310,7 @@ if test "x$ac_cv_lib_gmp___gmpz_init" = xyes; then :
else
with_system_gmp=no
fi
;; #(
*) :
;;
;;
esac
ECL_GMP_HEADER=

View file

@ -397,9 +397,9 @@ AS_CASE([${enable_gmp}],
[portable], [with_system_gmp=no; with_c_gmp=yes],
[included], [with_system_gmp=no],
[system], [with_system_gmp=yes],
[auto], [AC_CHECK_LIB( [gmp], [__gmpz_init],
[with_system_gmp=yes],
[with_system_gmp=no] )])
[AC_CHECK_LIB( [gmp], [__gmpz_init],
[with_system_gmp=yes],
[with_system_gmp=no] )])
ECL_GMP_HEADER=
if test "${with_system_gmp}" = "yes"; then