From 15a0668cd0dd2ffb9bf10d53b6a4b137e9385d5c Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Sat, 6 Mar 2010 21:08:36 +0100
Subject: [PATCH] If we failed to configure the GMP library and we are not
 using a system-wide one, abort.

---
 src/configure    | 5 +++++
 src/configure.in | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/src/configure b/src/configure
index bae1b4a88..e952e0eb1 100755
--- a/src/configure
+++ b/src/configure
@@ -5529,6 +5529,11 @@ $as_echo "$as_me: Configuring included GMP library:" >&6;}
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
         "$GMP_ABI" $with_gmp)
+     if test ! -f gmp/config.status; then
+       { { $as_echo "$as_me:$LINENO: error: Failed to configure the GMP library." >&5
+$as_echo "$as_me: error: Failed to configure the GMP library." >&2;}
+   { (exit 1); exit 1; }; }
+     fi
     fi
   else
     if test "x$ECL_GMP_HEADER" = "x"; then
diff --git a/src/configure.in b/src/configure.in
index 7d5cf166d..ce4223581 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -395,6 +395,9 @@ else
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
         "$GMP_ABI" $with_gmp)
+     if test ! -f gmp/config.status; then
+       AC_MSG_ERROR([Failed to configure the GMP library.])
+     fi
     fi
   else
     if test "x$ECL_GMP_HEADER" = "x"; then