version 1.128, 2015/07/15 09:04:59
|
version 1.130, 2015/07/16 15:12:41
|
Line 28 MPFR=mpfr-3.1.2
|
Line 28 MPFR=mpfr-3.1.2
|
NTL=ntl-5.5.2 |
NTL=ntl-5.5.2 |
COCOA=CoCoALib-0.9950 |
COCOA=CoCoALib-0.9950 |
PARI=pari-2.5.4 |
PARI=pari-2.5.4 |
GIAC=giac-1.1.4 |
GIAC=giac-1.2.0 |
|
|
dnl 32 bits ABI |
dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, |
AC_ARG_WITH(gcc_version, |
Line 1307 esac
|
Line 1307 esac
|
|
|
dnl Correction d'un problème de compilation pour GNUplot 5.0.0 |
dnl Correction d'un problème de compilation pour GNUplot 5.0.0 |
ac_configure_args="$ac_configure_args --disable-wxwidgets" |
ac_configure_args="$ac_configure_args --disable-wxwidgets" |
|
dnl Correction d'un problème d'ABI avec readline |
|
ac_configure_args="$ac_configure_args \ |
|
--with-abi-version=5.9 --with-rel-version=5.9" |
|
|
case $OS in |
case $OS in |
OS2) |
OS2) |