From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 27 Sep 2004 07:40:36 +0000 (+0000)
Subject: * removed PREDICATES
X-Git-Tag: V_0_0_10~113
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57cbd3b3d72198943cef934c8ac2555e7546f95c;p=helm.git

* removed PREDICATES
* added REQUIRES to init gtk2 properly
---

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 4c3138a39..74b93230b 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -9,12 +9,12 @@ TEST_REQUIRES = \
 	helm-cic_textual_parser2 \
 	helm-cic_textual_parser \
 	helm-tex_cic_textual_parser \
+	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@