X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_cache%2F.depend;h=6eb7c8b88ef6dd3ebb9fa75093b0ce8717a10f12;hb=b3e00c5c1ff91409a2065feac83b3feec65cc474;hp=06775e1c610c238394e2e52216c1a0f613a07698;hpb=34feb17401c569973c510ae75360be275587d315;p=helm.git

diff --git a/helm/ocaml/cic_cache/.depend b/helm/ocaml/cic_cache/.depend
index 06775e1c6..6eb7c8b88 100644
--- a/helm/ocaml/cic_cache/.depend
+++ b/helm/ocaml/cic_cache/.depend
@@ -1,2 +1,10 @@
-cicCache.cmo: cicCache.cmi 
-cicCache.cmx: cicCache.cmi 
+cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicCache.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicCache.cmi 
+cicCache.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicCache.cmi