Diff for /rpl/configure.ac between versions 1.249 and 1.252

version 1.249, 2019/10/25 20:31:10 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.5.0  GIAC=giac-1.5.0
   
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)

Removed from v.1.249  
changed lines
  Added in v.1.252


CVSweb interface <joel.bertrand@systella.fr>