rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.94, 2014/05/17 14:28:46	version 1.95, 2014/06/09 08:26:28
Line 174 AC_ARG_ENABLE(rplcas,	Line 174 AC_ARG_ENABLE(rplcas,
if test "$enableval" = "no"; then	if test "$enableval" = "no"; then
RPLCAS=-URPLCAS	RPLCAS=-URPLCAS
LIBRPLCAS=	LIBRPLCAS=
	INCRPLCAS=
else	else
RPLCAS=-DRPLCAS	RPLCAS=-DRPLCAS
LIBRPLCAS=\$$top_builddir$/rplcas/lib/librplcas.a	LIBRPLCAS=\$$top_builddir$/rplcas/lib/librplcas.a
	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
	-I\$(top_builddir)/rplcas/include"
fi],[	fi],[
RPLCAS=-URPLCAS	RPLCAS=-URPLCAS
LIBRPLCAS=	LIBRPLCAS=
	INCRPLCAS=
]	]
)	)

AC_SUBST(ABI)	AC_SUBST(ABI)
AC_SUBST(RPLCAS)	AC_SUBST(RPLCAS)
AC_SUBST(LIBRPLCAS)	AC_SUBST(LIBRPLCAS)
	AC_SUBST(INCRPLCAS)

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