Return to configure.ac CVS log | Up to [local] / rpl |
version 1.108, 2015/01/13 20:20:36 | version 1.110, 2015/01/21 21:32:03 |
---|---|
Line 28 MPFR=mpfr-3.1.2 | Line 28 MPFR=mpfr-3.1.2 |
NTL=ntl-5.5.2 | NTL=ntl-5.5.2 |
COCOA=CoCoALib-0.9950 | COCOA=CoCoALib-0.9950 |
PARI=pari-2.5.4 | PARI=pari-2.5.4 |
GIAC=giac-1.1.0 | GIAC=giac-1.1.4 |
dnl 32 bits ABI | dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, | AC_ARG_WITH(gcc_version, |
Line 1300 case $OS in | Line 1300 case $OS in |
break ;; | break ;; |
esac | esac |
dnl Correction d'un problème de compilation pour GNUplot 5.0.0 | |
ac_configure_args="$ac_configure_args --disable-wxwidgets" | |
case $OS in | case $OS in |
OS2) | OS2) |
WHOLE_LIB1="" | WHOLE_LIB1="" |