mirror of
https://gitlab.com/embeddable-common-lisp/ecl.git
synced 2026-01-14 13:21:54 -08:00
The latest optimizations for the cross-compile phase had deactivated linking against GMP also in the normal builds
This commit is contained in:
parent
60dd7ca769
commit
a04037ea70
2 changed files with 19 additions and 15 deletions
18
src/configure
vendored
18
src/configure
vendored
|
|
@ -9688,21 +9688,23 @@ if test "${with_gmp}" = "no" ; then
|
|||
{ echo "$as_me:$LINENO: Not using GMP library at all. Are you sure?" >&5
|
||||
echo "$as_me: Not using GMP library at all. Are you sure?" >&6;}
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big_ll.o"
|
||||
elif test "${with_system_gmp}" = "no" ; then
|
||||
{ echo "$as_me:$LINENO: Configuring included GMP library:" >&5
|
||||
echo "$as_me: Configuring included GMP library:" >&6;}
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big.o"
|
||||
else
|
||||
|
||||
cat >>confdefs.h <<\_ACEOF
|
||||
#define WITH_GMP 1
|
||||
_ACEOF
|
||||
|
||||
test -d gmp && rm -rf gmp
|
||||
if mkdir gmp; then
|
||||
(destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG}" \
|
||||
$srcdir/gmp/configure --disable-shared --prefix=${destdir} \
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big.o"
|
||||
if test "${with_system_gmp}" = "no" ; then
|
||||
{ echo "$as_me:$LINENO: Configuring included GMP library:" >&5
|
||||
echo "$as_me: Configuring included GMP library:" >&6;}
|
||||
test -d gmp && rm -rf gmp
|
||||
if mkdir gmp; then
|
||||
(destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG}" \
|
||||
$srcdir/gmp/configure --disable-shared --prefix=${destdir} \
|
||||
--infodir=${destdir}/doc --includedir=${destdir}/h \
|
||||
--libdir=${destdir} --build=${build_alias} --host=${host_alias} $with_gmp)
|
||||
fi
|
||||
fi
|
||||
fi
|
||||
|
||||
|
|
|
|||
|
|
@ -452,16 +452,18 @@ dnl Configure local GMP if needed
|
|||
if test "${with_gmp}" = "no" ; then
|
||||
AC_MSG_NOTICE(Not using GMP library at all. Are you sure?)
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big_ll.o"
|
||||
elif test "${with_system_gmp}" = "no" ; then
|
||||
AC_MSG_NOTICE(Configuring included GMP library:)
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big.o"
|
||||
else
|
||||
AC_DEFINE( [WITH_GMP], [1], [Use GMP for bignums] )
|
||||
test -d gmp && rm -rf gmp
|
||||
if mkdir gmp; then
|
||||
(destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG}" \
|
||||
$srcdir/gmp/configure --disable-shared --prefix=${destdir} \
|
||||
EXTRA_OBJS="${EXTRA_OBJS} big.o"
|
||||
if test "${with_system_gmp}" = "no" ; then
|
||||
AC_MSG_NOTICE(Configuring included GMP library:)
|
||||
test -d gmp && rm -rf gmp
|
||||
if mkdir gmp; then
|
||||
(destdir=`${PWDCMD}`; cd gmp; CC="${CC} ${PICFLAG}" \
|
||||
$srcdir/gmp/configure --disable-shared --prefix=${destdir} \
|
||||
--infodir=${destdir}/doc --includedir=${destdir}/h \
|
||||
--libdir=${destdir} --build=${build_alias} --host=${host_alias} $with_gmp)
|
||||
fi
|
||||
fi
|
||||
fi
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue