version 1.248, 2019/10/25 20:22:16
|
version 1.252, 2020/01/16 08:57:42
|
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 26 GMP=gmp-6.1.2
|
Line 26 GMP=gmp-6.1.2
|
MPFR=mpfr-4.0.2 |
MPFR=mpfr-4.0.2 |
MPFI=mpfi-1.5.4 |
MPFI=mpfi-1.5.4 |
NTL=ntl-11.4.1 |
NTL=ntl-11.4.1 |
COCOA=CoCoALib-0.99601 |
|
PARI=pari-2.11.2 |
PARI=pari-2.11.2 |
GIAC=giac-1.4.9 |
GIAC=giac-1.5.0 |
|
|
dnl 32 bits ABI |
dnl 32 bits ABI |
AC_ARG_WITH(gcc_version, |
AC_ARG_WITH(gcc_version, |
Line 318 AC_ARG_ENABLE(final-encoding,
|
Line 317 AC_ARG_ENABLE(final-encoding,
|
[ --enable-final-encoding force final encoding [[default=guessed]]], [ |
[ --enable-final-encoding force final encoding [[default=guessed]]], [ |
if test "$enableval" = "no"; then |
if test "$enableval" = "no"; then |
FINAL_ENCODING="\$(shell locale charmap | \ |
FINAL_ENCODING="\$(shell locale charmap | \ |
\$(AWK) '/\=/ { print \$\$3;} !/\=/ { print \$\$1;}')" |
\$(AWK) '/=/ { print \$\$3;} !/=/ { print \$\$1;}')" |
FORCED_FINAL_ENCODING=0 |
FORCED_FINAL_ENCODING=0 |
else |
else |
FINAL_ENCODING="$enable_final_encoding" |
FINAL_ENCODING="$enable_final_encoding" |
Line 326 else
|
Line 325 else
|
fi], [ |
fi], [ |
FORCED_FINAL_ENCODING=0 |
FORCED_FINAL_ENCODING=0 |
FINAL_ENCODING="\$(shell locale charmap | \ |
FINAL_ENCODING="\$(shell locale charmap | \ |
\$(AWK) '/\=/ { print \$\$3;} !/\=/ { print \$\$1;}')"]) |
\$(AWK) '/=/ { print \$\$3;} !/=/ { print \$\$1;}')"]) |
|
|
AC_ARG_ENABLE(tex, |
AC_ARG_ENABLE(tex, |
[ --enable-tex provide the TeX support [[default=guessed]]], [ |
[ --enable-tex provide the TeX support [[default=guessed]]], [ |
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) |