Pass the ABI parameter to GMP, in case we configure it ourselves.

This commit is contained in:
Juan Jose Garcia Ripoll 2009-09-09 09:39:27 +02:00
parent a9548b4510
commit dc3ce38b1f
2 changed files with 2 additions and 2 deletions

2
src/configure vendored
View file

@ -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"

View file

@ -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"