From 479fb4dd22eeaaec7ced811bed33f06443a58373 Mon Sep 17 00:00:00 2001
From: jgarcia <jgarcia>
Date: Sun, 25 Feb 2007 09:18:41 +0000
Subject: [PATCH] Under OSX, force 32-bit build of GMP

---
 src/aclocal.m4 | 3 +++
 src/configure  | 5 ++++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/aclocal.m4 b/src/aclocal.m4
index 9e42bc731..521c10427 100644
--- a/src/aclocal.m4
+++ b/src/aclocal.m4
@@ -276,6 +276,9 @@ case "${host_os}" in
 		if test "`uname -m`" = i386; then
 		  gmp_build=none-apple-${host_os}
 		fi
+		# ECL, due to some of the libraries, does not build on
+		# 64 bit mode on OSX. We prevent GMP using that mode.
+		export ABI=mode32
 		;;
 	*)
 		Thehost="$host_os"
diff --git a/src/configure b/src/configure
index 295c55932..b4bb54659 100755
--- a/src/configure
+++ b/src/configure
@@ -4334,6 +4334,9 @@ case "${host_os}" in
 		if test "`uname -m`" = i386; then
 		  gmp_build=none-apple-${host_os}
 		fi
+		# ECL, due to some of the libraries, does not build on
+		# 64 bit mode on OSX. We prevent GMP using that mode.
+		export ABI=mode32
 		;;
 	*)
 		Thehost="$host_os"
@@ -12227,7 +12230,7 @@ echo "$as_me: Configuring included GMP library:" >&6;}
     fi
     if mkdir gmp; then
      ECL_GMP_HEADER='ecl/gmp.h'
-     (destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG} -DPIC" \
+          (destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG} -DPIC" \
        $srcdir/gmp/configure --disable-shared --prefix=${destdir} \
 	--infodir=${destdir}/doc --includedir=${destdir}/ecl \
         --libdir=${destdir} --build=${gmp_build} --host=${host_alias} $with_gmp)