X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;fp=helm%2FgTopLevel%2FMakefile;h=b4446b8f35d5ae64e36625a88828c5f5064a4acc;hb=845407985feddc9974cac58ba93e6743a4db95c5;hp=8b89d823a18cd92a894456d40d1d7977ea9e8ffd;hpb=923b3910899f2afa1c74e1973d484d088a0251c8;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 8b89d823a..b4446b8f3 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -8,13 +8,11 @@ TEST_REQUIRES = \
 	helm-cic_textual_parser \
 	helm-tex_cic_textual_parser \
 	mathml-editor \
-	lablgtkmathview \
-	helm-cic_cache
+	lablgtkmathview
 REQUIRES = \
 	$(TEST_REQUIRES) \
 	gdome2-xslt \
-	hbugs-client \
-	helm-cic_cache
+	hbugs-client
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLFIND = ocamlfind