helm-cic_textual_parser2 \
helm-cic_textual_parser \
helm-tex_cic_textual_parser \
+ helm-xmldiff \
+ lablgtk2 \
mathml-editor \
lablgtkmathview
-REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs
+REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs lablgtk2.init lablgtk2.glade
-PREDICATES = "gnome,init,glade"
OCAMLOPTIONS = \
-package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o -thread
-OCAMLFIND = ocamlfind
+OCAMLFIND = @OCAMLFIND@
OCAMLDEBUGOPTIONS = -g
OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
disambiguatingParser.mli \
termEditor.mli \
texTermEditor.mli \
- xmlDiff.mli \
chosenTransformer.mli \
termViewer.mli \
invokeTactics.mli \