--- rpl/configure.ac 2015/09/18 13:41:06 1.133 +++ rpl/configure.ac 2015/11/09 16:48:09 1.137 @@ -10,13 +10,13 @@ AC_CONFIG_HEADERS([rplconfig.h]) dnl Libraries NCURSES=ncurses-6.0 READLINE=readline-6.3 -UNITS=units-2.11 -GSL=gsl-1.16 +UNITS=units-2.12 +GSL=gsl-2.0 GPP=gpp-3.0 GNUPLOT=gnuplot-5.0.1 FILE=file-5.11 ICONV=libiconv-1.14 -SQLITE=sqlite-3.8.11.1 +SQLITE=sqlite-3.9.1 OPENSSL=openssl-1.0.2d OPENMOTIF=openmotif-2.3.4 LIBXPM=libXpm-3.5.9 @@ -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)