"
FINDLIB_REQUIRES="\
$FINDLIB_CREQUIRES \
-lablgtk2.glade \
-lablgtkmathview \
helm-paramodulation \
"
for r in $FINDLIB_REQUIRES
AC_SUBST(FINDLIB_CLEANREQUIRES)
AC_SUBST(FINDLIB_MAKEREQUIRES)
AC_SUBST(HAVE_OCAMLOPT)
-AC_SUBST(LABLGLADECC)
AC_SUBST(OCAMLFIND)
AC_SUBST(RT_BASE_DIR)
AC_SUBST(MATITA_VERSION)