else
AC_MSG_ERROR(could not find camlp4o)
fi
-FINDLIB_DEPREQUIRES="\
+FINDLIB_COMREQUIRES="\
pcre \
mysql \
helm-registry \
helm-extlib \
helm-hmysql \
+helm-cic_notation \
+helm-tactics \
helm-cic_disambiguation \
-helm-paramodulation \
"
-FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
-FINDLIB_CREQUIRES="\
-$FINDLIB_CLEANREQUIRES \
-unix \
-helm-cic_omdoc \
-helm-tactics \
-helm-xml \
+FINDLIB_CLEANREQUIRES="$FINDLIB_COMREQUIRES"
+FINDLIB_DEPREQUIRES="$FINDLIB_COMREQUIRES"
+FINDLIB_MAKEREQUIRES=" \
+helm-registry \
+helm-extlib \
+"
+FINDLIB_CREQUIRES=" \
+$FINDLIB_COMREQUIRES \
+helm-paramodulation \
"
FINDLIB_REQUIRES="\
$FINDLIB_CREQUIRES \
lablgtkmathview \
lablgtksourceview \
helm-xmldiff \
+helm-cic_transformations \
helm-tactics \
+helm-cic_disambiguation \
+helm-paramodulation \
"
for r in $FINDLIB_REQUIRES
do
AC_SUBST(FINDLIB_CREQUIRES)
AC_SUBST(FINDLIB_DEPREQUIRES)
AC_SUBST(FINDLIB_CLEANREQUIRES)
+AC_SUBST(FINDLIB_MAKEREQUIRES)
AC_SUBST(HAVE_OCAMLOPT)
AC_SUBST(LABLGLADECC)
AC_SUBST(OCAMLFIND)