![]() ![]() | ![]() |
version 1.39, 2012/07/31 11:06:34 | version 1.41, 2012/08/22 09:29:49 |
---|---|
Line 27 MPFR=mpfr-3.1.0 | Line 27 MPFR=mpfr-3.1.0 |
NTL=ntl-5.5.2 | NTL=ntl-5.5.2 |
COCOA=CoCoALib-0.9950 | COCOA=CoCoALib-0.9950 |
PARI=pari-2.5.1 | PARI=pari-2.5.1 |
GIAC=giac-0.9.6 | GIAC=giac-0.9.8 |
dnl 32 bits ABI | dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, | AC_ARG_WITH(gcc_version, |