Diff for /rpl/configure.ac between versions 1.108 and 1.110

version 1.108, 2015/01/13 20:20:36 version 1.110, 2015/01/21 21:32:03
Line 28  MPFR=mpfr-3.1.2 Line 28  MPFR=mpfr-3.1.2
 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.1.0  GIAC=giac-1.1.4
   
 dnl 32 bits ABI  dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,  AC_ARG_WITH(gcc_version,
Line 1300  case $OS in Line 1300  case $OS in
     break ;;      break ;;
 esac  esac
   
   dnl Correction d'un problème de compilation pour GNUplot 5.0.0
   ac_configure_args="$ac_configure_args --disable-wxwidgets"
   
 case $OS in  case $OS in
     OS2)      OS2)
         WHOLE_LIB1=""          WHOLE_LIB1=""

Removed from v.1.108  
changed lines
  Added in v.1.110


CVSweb interface <joel.bertrand@systella.fr>