--- rpl/configure.ac 2018/05/30 09:27:30 1.222 +++ rpl/configure.ac 2018/06/15 12:21:23 1.223 @@ -194,7 +194,8 @@ if test "$enableval" = "no"; then INCRPLCAS= else RPLCAS=-DRPLCAS - LIBRPLCAS="\$(top_builddir)/rplcas/lib/librplcas.a -lcurl" + LIBRPLCAS="\$(top_builddir)/rplcas/lib/librplcas.a" + LIBS+="-lcurl" INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \ -I\$(top_builddir)/rplcas/include" fi],[