rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.128, 2015/07/15 09:04:59	version 1.130, 2015/07/16 15:12:41
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.4	GIAC=giac-1.2.0

dnl 32 bits ABI	dnl 32 bits ABI
AC_ARG_WITH(gcc_version,	AC_ARG_WITH(gcc_version,
Line 1307 esac	Line 1307 esac

dnl Correction d'un problème de compilation pour GNUplot 5.0.0	dnl Correction d'un problème de compilation pour GNUplot 5.0.0
ac_configure_args="$ac_configure_args --disable-wxwidgets"	ac_configure_args="$ac_configure_args --disable-wxwidgets"
	dnl Correction d'un problème d'ABI avec readline
	ac_configure_args="$ac_configure_args \
	--with-abi-version=5.9 --with-rel-version=5.9"

case $OS in	case $OS in
OS2)	OS2)