rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.232, 2019/02/03 14:40:25	version 1.233, 2019/02/04 09:21:45
Line 194 if test "$enableval" = "no"; then	Line 194 if test "$enableval" = "no"; then
else	else
RPLCAS=-DRPLCAS	RPLCAS=-DRPLCAS
LIBRPLCAS="\$(top_builddir)/rplcas/lib/librplcas.a"	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 \	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
-I\$(top_builddir)/rplcas/include"	-I\$(top_builddir)/rplcas/include"
fi],[	fi],[
Line 208 AC_SUBST(ABI)	Line 209 AC_SUBST(ABI)
AC_SUBST(RPLCAS)	AC_SUBST(RPLCAS)
AC_SUBST(LIBRPLCAS)	AC_SUBST(LIBRPLCAS)
AC_SUBST(INCRPLCAS)	AC_SUBST(INCRPLCAS)
	AC_SUBST(LIBGIAC)

dnl Options	dnl Options
AC_ARG_ENABLE(optimization,	AC_ARG_ENABLE(optimization,