--- rpl/configure.ac	2018/05/29 06:13:44	1.216
+++ rpl/configure.ac	2018/05/29 14:12:37	1.220
@@ -29,7 +29,7 @@ MPFI=mpfi-1.5.3
 NTL=ntl-11.0.0
 COCOA=CoCoALib-0.99563
 PARI=pari-2.9.5
-GIAC=giac-1.2.2
+GIAC=giac-1.4.9
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,
@@ -191,15 +191,18 @@ AC_ARG_ENABLE(rplcas,
 if test "$enableval" = "no"; then
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	LIBRPLCAS_EXT=
 	INCRPLCAS=
 else
 	RPLCAS=-DRPLCAS
-	LIBRPLCAS=\$\(top_builddir\)/rplcas/lib/librplcas.a
+	LIBRPLCAS="\$\(top_builddir\)/rplcas/lib/librplcas.a"
+	LIBRPLCAS_EXT=-lcurl
 	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
 			-I\$(top_builddir)/rplcas/include"
 fi],[
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	LIBRPLCAS_EXT=
 	INCRPLCAS=
 	]
 )
@@ -207,6 +210,7 @@ fi],[
 AC_SUBST(ABI)
 AC_SUBST(RPLCAS)
 AC_SUBST(LIBRPLCAS)
+AC_SUBST(LIBRPLCAS_EXT)
 AC_SUBST(INCRPLCAS)
 
 dnl Options
@@ -1155,11 +1159,11 @@ AC_MSG_CHECKING([whether CC supports -ma
 AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])],
 	[AC_MSG_RESULT([yes]); FPCFLAGS="$FPCFLAGS -malign-double"],
 	[AC_MSG_RESULT([no])])
-CFLAGS=-mieee-fp
-AC_MSG_CHECKING([whether CC supports -mieee-fp])
-AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])],
-    [AC_MSG_RESULT([yes]); FPCFLAGS="$FPCFLAGS -mieee-fp"],
-	[AC_MSG_RESULT([no])])
+#CFLAGS=-mieee-fp
+#AC_MSG_CHECKING([whether CC supports -mieee-fp])
+#AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])],
+#    [AC_MSG_RESULT([yes]); FPCFLAGS="$FPCFLAGS -mieee-fp"],
+#	[AC_MSG_RESULT([no])])
 CFLAGS=-mieee
 AC_MSG_CHECKING([whether CC supports -mieee])
 AC_COMPILE_IFELSE([AC_LANG_PROGRAM([])],