helm-grafite \
helm-grafite_engine \
helm-grafite_parser \
-helm-hgdome \
helm-tactics \
"
FINDLIB_CLEANREQUIRES="$FINDLIB_COMREQUIRES"
"
FINDLIB_REQUIRES="\
$FINDLIB_CREQUIRES \
-lablgtk2.glade \
-lablgtkmathview \
-helm-xmldiff \
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)