rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.136, 2015/11/04 13:06:22	version 1.137, 2015/11/09 16:48:09
Line 25 ZLIB=zlib-1.2.8	Line 25 ZLIB=zlib-1.2.8

GMP=gmp-6.0.0	GMP=gmp-6.0.0
MPFR=mpfr-3.1.3	MPFR=mpfr-3.1.3
	MPFI=mpfi-1.5.1
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.2.0	GIAC=giac-1.2.2

dnl 32 bits ABI	dnl 32 bits ABI
AC_ARG_WITH(gcc_version,	AC_ARG_WITH(gcc_version,
Line 533 if test ! -d "$srcdir"/rplcas/$MPFR; the	Line 534 if test ! -d "$srcdir"/rplcas/$MPFR; the
gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz \| \	gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz \| \
(cd "$srcdir/rplcas" && tar -xf -)	(cd "$srcdir/rplcas" && tar -xf -)
fi	fi
	if test ! -d "$srcdir"/rplcas/$MPFI; then
	gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz \| \
	(cd "$srcdir/rplcas" && tar -xf -)
	fi
if test ! -d rplcas/$NTL; then	if test ! -d rplcas/$NTL; then
gunzip -c "$srcdir"/rplcas/$NTL.tar.gz \| \	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz \| \
(cd rplcas && tar -xf -)	(cd rplcas && tar -xf -)
Line 1383 AC_SUBST(EXT_SQL)	Line 1388 AC_SUBST(EXT_SQL)
AC_SUBST(MALLOC)	AC_SUBST(MALLOC)
AC_SUBST(GMP)	AC_SUBST(GMP)
AC_SUBST(MPFR)	AC_SUBST(MPFR)
	AC_SUBST(MPFI)
AC_SUBST(NTL)	AC_SUBST(NTL)
AC_SUBST(COCOA)	AC_SUBST(COCOA)
AC_SUBST(PARI)	AC_SUBST(PARI)