--- rpl/configure.ac 2016/09/21 09:41:12 1.161 +++ rpl/configure.ac 2016/09/26 14:02:36 1.165 @@ -23,12 +23,12 @@ LIBXPM=libXpm-3.5.11 SIGSEGV=libsigsegv-2.11 ZLIB=zlib-1.2.8 -GMP=gmp-6.1.0 +GMP=gmp-6.1.1 MPFR=mpfr-3.1.4 MPFI=mpfi-1.5.1 -NTL=ntl-5.5.2 +NTL=ntl-9.11.0 COCOA=CoCoALib-0.9950 -PARI=pari-2.5.4 +PARI=pari-2.7.6 GIAC=giac-1.2.2 dnl 32 bits ABI @@ -745,7 +745,7 @@ AC_ARG_WITH(mysql, [ --with-mysql=PATH specify directory for installed mysql], [], [with_mysql=check]) -if test "x$with_mysql" = xcheck -o "x$with_mysql" = yes; then +if test "x$with_mysql" = xcheck -o "x$with_mysql" = xyes; then libMySQLinc="-I/usr/include" libMySQLlib="/usr/lib"