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, |