--- rpl/configure.ac	2014/05/16 17:08:40	1.92
+++ rpl/configure.ac	2014/08/29 09:46:14	1.102
@@ -1,5 +1,5 @@
 dnl Process this file with autoconf to produce a configure script.
-AC_INIT([rpl],[4.1.18])
+AC_INIT([rpl],[4.1.19])
 AC_CANONICAL_TARGET
 AC_CANONICAL_TARGET
 AM_INIT_AUTOMAKE(silent-rules)
@@ -16,14 +16,14 @@ GPP=gpp-3.0
 GNUPLOT=gnuplot-4.6.5
 FILE=file-5.11
 ICONV=libiconv-1.14
-SQLITE=sqlite-3.8.4.3
-OPENSSL=openssl-1.0.1g
+SQLITE=sqlite-3.8.6
+OPENSSL=openssl-1.0.1i
 OPENMOTIF=openmotif-2.3.4
 LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-5.1.2
+GMP=gmp-6.0.0
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
@@ -44,6 +44,7 @@ AC_SUBST(F77)
 ],[])
 
 dnl Checks for Bash
+BASH_PATH=$(which bash)
 BASH=$(which bash | sed 's/\//\\\//g')
 
 if test x$BASH = x; then
@@ -51,6 +52,7 @@ if test x$BASH = x; then
 fi
 
 AC_SUBST(BASH)
+AC_SUBST(BASH_PATH)
 
 dnl Checks for C compiler
 AC_PROG_CC(gcc)
@@ -174,18 +176,23 @@ AC_ARG_ENABLE(rplcas,
 if test "$enableval" = "no"; then
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	INCRPLCAS=
 else
 	RPLCAS=-DRPLCAS
 	LIBRPLCAS=\$\(top_builddir\)/rplcas/lib/librplcas.a
+	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
+			-I\$(top_builddir)/rplcas/include"
 fi],[
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	INCRPLCAS=
 	]
 )
 
 AC_SUBST(ABI)
 AC_SUBST(RPLCAS)
 AC_SUBST(LIBRPLCAS)
+AC_SUBST(INCRPLCAS)
 
 dnl Options
 AC_ARG_ENABLE(optimization,
@@ -201,13 +208,15 @@ else
 	CXXFLAGS="$CXXFLAGS $ABI $enable_optimization"
 	FCFLAGS="$FCFLAGS $ABI $enable_optimization"
 fi],[
-	CFLAGS="$CFLAGS $ABI $OPTIMISATION_C"
+	CFLAGS="$CFLAGS $ABI $OPTIMISATION_C" 
 	FFLAGS="$FFLAGS $ABI $OPTIMISATION_F"
 	CXXFLAGS="$CXXFLAGS $ABI $OPTIMISATION_CXX"
 	FCFLAGS="$FCFLAGS $ABI $OPTIMISATION_F"
 	]
 )
 
+CFLAGS="$CFLAGS -fno-strict-overflow"
+
 AC_MSG_CHECKING([for usable shared memory])
 AC_COMPILE_IFELSE(
 	[AC_LANG_PROGRAM([#include <sys/shm.h>
@@ -444,7 +453,11 @@ if test ! -d "$srcdir"/tools/$NCURSES; t
 			do echo Applying script $i && chmod 775 $i && ./$i;
 			done;
 			for i in ../$NCURSES*.patch.gz;
-			do echo Applying patch $i && gunzip -c $i | patch -p1;
+			do echo Applying patch $i && \
+					if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \
+						rm -f Ada95/src/library.gpr; \
+					fi && \
+				gunzip -c $i | patch -p1;
 			done);
 fi
 if test ! -d "$srcdir"/tools/$READLINE; then