From dc3ce38b1fc74b14fc482f2189decae445bf53d1 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Wed, 9 Sep 2009 09:39:27 +0200
Subject: [PATCH] Pass the ABI parameter to GMP, in case we configure it
 ourselves.

---
 src/configure    | 2 +-
 src/configure.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/configure b/src/configure
index d57ab49a8..2511fd563 100755
--- a/src/configure
+++ b/src/configure
@@ -4838,7 +4838,7 @@ $as_echo "$as_me: Configuring included GMP library:" >&6;}
 	--infodir=${destdir}/doc --includedir=${destdir}/ecl --with-pic \
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
-        $with_gmp)
+        ABI=$ABI $with_gmp)
     fi
   fi
   with_gmp="yes"
diff --git a/src/configure.in b/src/configure.in
index 8fdbab51b..47bd0d7a0 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -370,7 +370,7 @@ else
 	--infodir=${destdir}/doc --includedir=${destdir}/ecl --with-pic \
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} \
         CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS" CC="${CC} ${PICFLAG}" \
-        $with_gmp)
+        ABI=$ABI $with_gmp)
     fi
   fi
   with_gmp="yes"