- use CicUtil.term_of_uri instead of deprecated HelmLibrayObjects

[helm.git] / helm / gTopLevel / Makefile.in

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 4c3138a39201e02f8dd26d1e29a837c652147dea..82c3d28212cd8a702e1b9abaf3e70f4f522cef6e 100644 (file)
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -9,12 +9,13 @@ TEST_REQUIRES = \
        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@
@@ -44,7 +45,6 @@ INTERFACE_FILES = \
        disambiguatingParser.mli \
        termEditor.mli \
        texTermEditor.mli \
-       xmlDiff.mli \
        chosenTransformer.mli \
        termViewer.mli \
        invokeTactics.mli \