From 25fe2cda34864da7ae27cda13256e0666da97efa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= <daniel@turtleware.eu>
Date: Fri, 7 Oct 2016 20:23:22 +0200
Subject: [PATCH] gmp: if no --enable-gmp=x provided, assume auto

---
 src/configure    | 6 ++----
 src/configure.ac | 6 +++---
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/configure b/src/configure
index 5da854558..c0d93a894 100755
--- a/src/configure
+++ b/src/configure
@@ -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=
diff --git a/src/configure.ac b/src/configure.ac
index 070f4463e..618030b84 100644
--- a/src/configure.ac
+++ b/src/configure.ac
@@ -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