version 1.244, 2019/10/25 20:17:06
|
version 1.251, 2019/11/01 13:03:00
|
Line 1
|
Line 1
|
dnl Process this file with autoconf to produce a configure script. |
dnl Process this file with autoconf to produce a configure script. |
AC_INIT([rpl],[4.1.31]) |
AC_INIT([rpl],[4.1.32]) |
AC_CANONICAL_TARGET |
AC_CANONICAL_TARGET |
AM_INIT_AUTOMAKE(silent-rules) |
AM_INIT_AUTOMAKE(silent-rules) |
AM_SILENT_RULES([yes]) |
AM_SILENT_RULES([yes]) |
Line 24 ZLIB=zlib-1.2.11
|
Line 24 ZLIB=zlib-1.2.11
|
|
|
GMP=gmp-6.1.2 |
GMP=gmp-6.1.2 |
MPFR=mpfr-4.0.2 |
MPFR=mpfr-4.0.2 |
MPFI=mpfi-1.5.3 |
MPFI=mpfi-1.5.4 |
NTL=ntl-11.0.0 |
NTL=ntl-11.4.1 |
COCOA=CoCoALib-0.99600 |
PARI=pari-2.11.2 |
PARI=pari-2.9.5 |
GIAC=giac-1.5.0 |
GIAC=giac-1.4.9 |
|
|
|
dnl 32 bits ABI |
dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, |
AC_ARG_WITH(gcc_version, |
Line 574 if test ! -d rplcas/$NTL; then
|
Line 573 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 -) |
fi |
fi |
if test ! -d rplcas/$COCOA; then |
|
gunzip -c "$srcdir"/rplcas/$COCOA.tar.gz | \ |
|
(cd rplcas && tar -xf -) |
|
fi |
|
if test ! -d rplcas/$PARI; then |
if test ! -d rplcas/$PARI; then |
gunzip -c "$srcdir"/rplcas/$PARI.tar.gz | \ |
gunzip -c "$srcdir"/rplcas/$PARI.tar.gz | \ |
(cd rplcas && tar -xf -) |
(cd rplcas && tar -xf -) |
Line 1457 AC_SUBST(GMP)
|
Line 1452 AC_SUBST(GMP)
|
AC_SUBST(MPFR) |
AC_SUBST(MPFR) |
AC_SUBST(MPFI) |
AC_SUBST(MPFI) |
AC_SUBST(NTL) |
AC_SUBST(NTL) |
AC_SUBST(COCOA) |
|
AC_SUBST(PARI) |
AC_SUBST(PARI) |
AC_SUBST(GIAC) |
AC_SUBST(GIAC) |
AC_SUBST(INCMOTIF) |
AC_SUBST(INCMOTIF) |