--- rpl/configure.ac	2018/05/29 06:13:44	1.216
+++ rpl/configure.ac	2018/05/29 14:03:01	1.219
@@ -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,
@@ -194,7 +194,7 @@ if test "$enableval" = "no"; then
 	INCRPLCAS=
 else
 	RPLCAS=-DRPLCAS
-	LIBRPLCAS=\$\(top_builddir\)/rplcas/lib/librplcas.a
+	LIBRPLCAS="\$\(top_builddir\)/rplcas/lib/librplcas.a -lcurl"
 	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
 			-I\$(top_builddir)/rplcas/include"
 fi],[
@@ -1155,11 +1155,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([])],