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)