Return to configure.ac CVS log | Up to [local] / rpl |
version 1.216, 2018/05/29 06:13:44 | version 1.217, 2018/05/29 06:21:36 |
---|---|
Line 29 MPFI=mpfi-1.5.3 | Line 29 MPFI=mpfi-1.5.3 |
NTL=ntl-11.0.0 | NTL=ntl-11.0.0 |
COCOA=CoCoALib-0.99563 | COCOA=CoCoALib-0.99563 |
PARI=pari-2.9.5 | PARI=pari-2.9.5 |
GIAC=giac-1.2.2 | GIAC=giac-1.4.9 |
dnl 32 bits ABI | dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, | AC_ARG_WITH(gcc_version, |