FINDLIB_REQUIRES="\
lablgtk2.glade \
-lablgtk2.init \
lablgtkmathview \
pcre \
helm-cic_omdoc \
echo "debugging enabled"
fi
+MATITA_GTKRC="matita.gtkrc"
+
AC_SUBST(CAMLP4O)
AC_SUBST(DEBUG)
AC_SUBST(TRANSFORMER_MODULE)
AC_SUBST(HAVE_OCAMLOPT)
AC_SUBST(LABLGLADECC)
AC_SUBST(OCAMLFIND)
+AC_SUBST(MATITA_GTKRC)
AC_OUTPUT([
buildTimeConf.ml