--- rpl/configure.ac	2015/07/15 22:40:58	1.129
+++ rpl/configure.ac	2015/07/17 06:10:12	1.131
@@ -24,7 +24,7 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.8
 
 GMP=gmp-6.0.0
-MPFR=mpfr-3.1.2
+MPFR=mpfr-3.1.3
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
 PARI=pari-2.5.4
@@ -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)