--- rpl/configure.ac	2014/05/16 14:49:49	1.91
+++ rpl/configure.ac	2014/06/09 08:26:28	1.95
@@ -23,7 +23,7 @@ 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
@@ -76,11 +76,11 @@ AC_PROG_F77(gfortran)
 dnl Check for Fortran 9* compiler
 AC_PROG_FC(gfortran)
 
-if test x"$F77" == x; then
+if test x"$F77" = x; then
 	AC_MSG_ERROR([Cannot find gfortran! You have to install it.])
 fi
 
-if test x"$FC" == x; then
+if test x"$FC" = x; then
 	AC_MSG_ERROR([Cannot find gfortran! You have to install it.])
 fi
 
@@ -174,18 +174,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 +206,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>
@@ -376,7 +383,7 @@ if test "$enableval" = "no"; then
 else
 	MOTIF_SUPPORT="-DMOTIF_SUPPORT"
 fi],
-if test "$have_x" == "yes"; then
+if test "$have_x" = "yes"; then
 	MOTIF_SUPPORT="-DMOTIF_SUPPORT"
 else
 	MOTIF_SUPPORT="-UMOTIF_SUPPORT"