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.131, 2015/07/17 06:10:12
Line 24 SIGSEGV=libsigsegv-2.11	Line 24 SIGSEGV=libsigsegv-2.11
ZLIB=zlib-1.2.8	ZLIB=zlib-1.2.8

GMP=gmp-6.0.0	GMP=gmp-6.0.0
MPFR=mpfr-3.1.2	MPFR=mpfr-3.1.3
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)