]> matita.cs.unibo.it Git - helm.git/commitdiff
* removed PREDICATES
authorLuca Padovani <luca.padovani@unito.it>
Mon, 27 Sep 2004 07:40:36 +0000 (07:40 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 27 Sep 2004 07:40:36 +0000 (07:40 +0000)
* added REQUIRES to init gtk2 properly

helm/gTopLevel/Makefile.in

index 4c3138a39201e02f8dd26d1e29a837c652147dea..74b93230b833d1ecae95aa24d538f7d51524bbdb 100644 (file)
@@ -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@