X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2FMakefile.in;h=82c3d28212cd8a702e1b9abaf3e70f4f522cef6e;hb=1e61e4290c96600e3758b30b660712514ba379e3;hp=4c3138a39201e02f8dd26d1e29a837c652147dea;hpb=db380975055d3e4bc3668adba56f693aa8f0968f;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 4c3138a39..82c3d2821 100644
--- 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 \