--- rpl/configure.ac 2019/02/03 14:40:25 1.232 +++ rpl/configure.ac 2019/02/04 09:21:45 1.233 @@ -194,7 +194,8 @@ if test "$enableval" = "no"; then else RPLCAS=-DRPLCAS LIBRPLCAS="\$(top_builddir)/rplcas/lib/librplcas.a" - LIBS="$LIBS $LIBCURL -lcurl" +dnl LIBS="$LIBS $LIBCURL -lcurl" + LIBGIAC="$LIBCURL -lcurl" INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \ -I\$(top_builddir)/rplcas/include" fi],[ @@ -208,6 +209,7 @@ AC_SUBST(ABI) AC_SUBST(RPLCAS) AC_SUBST(LIBRPLCAS) AC_SUBST(INCRPLCAS) +AC_SUBST(LIBGIAC) dnl Options AC_ARG_ENABLE(optimization,