--- rpl/configure.ac	2015/11/04 13:06:22	1.136
+++ rpl/configure.ac	2015/11/09 16:48:09	1.137
@@ -25,10 +25,11 @@ ZLIB=zlib-1.2.8
 
 GMP=gmp-6.0.0
 MPFR=mpfr-3.1.3
+MPFI=mpfi-1.5.1
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
 PARI=pari-2.5.4
-GIAC=giac-1.2.0
+GIAC=giac-1.2.2
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,
@@ -533,6 +534,10 @@ if test ! -d "$srcdir"/rplcas/$MPFR; the
 	gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz | \
 			(cd "$srcdir/rplcas" && tar -xf -)
 fi
+if test ! -d "$srcdir"/rplcas/$MPFI; then
+	gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz | \
+			(cd "$srcdir/rplcas" && tar -xf -)
+fi
 if test ! -d rplcas/$NTL; then
 	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz | \
 			(cd rplcas && tar -xf -)
@@ -1383,6 +1388,7 @@ AC_SUBST(EXT_SQL)
 AC_SUBST(MALLOC)
 AC_SUBST(GMP)
 AC_SUBST(MPFR)
+AC_SUBST(MPFI)
 AC_SUBST(NTL)
 AC_SUBST(COCOA)
 AC_SUBST(PARI)