--- rpl/configure.ac 2015/07/15 08:59:48 1.127 +++ rpl/configure.ac 2015/07/16 15:12:41 1.130 @@ -13,7 +13,7 @@ READLINE=readline-6.3 UNITS=units-2.11 GSL=gsl-1.16 GPP=gpp-3.0 -GNUPLOT=gnuplot-5.0.0 +GNUPLOT=gnuplot-5.0.1 FILE=file-5.11 ICONV=libiconv-1.14 SQLITE=sqlite-3.8.10.2 @@ -28,7 +28,7 @@ MPFR=mpfr-3.1.2 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9950 PARI=pari-2.5.4 -GIAC=giac-1.1.4 +GIAC=giac-1.2.0 dnl 32 bits ABI AC_ARG_WITH(gcc_version, @@ -1307,6 +1307,9 @@ esac dnl Correction d'un problème de compilation pour GNUplot 5.0.0 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 OS2)