From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Feb 2004 14:07:21 +0000 (+0000)
Subject: CicCache ==> CicEnvironment (in testlibrary.ml)
X-Git-Tag: V_0_3_0~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=845407985feddc9974cac58ba93e6743a4db95c5;p=helm.git

CicCache ==> CicEnvironment (in testlibrary.ml)
---

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