]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_annotations_cache/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / cic_annotations_cache / .depend
index 06775e1c610c238394e2e52216c1a0f613a07698..b300bec61952a5bb1be5fa765effbc3e408514f7 100644 (file)
@@ -1,2 +1,15 @@
-cicCache.cmo: cicCache.cmi 
-cicCache.cmx: cicCache.cmi 
+cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicCache.cmo: \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmi \
+    /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_annotations/cicAnnotationParser.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