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) |