X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2F.depend;h=9cdf013b9d4b601346f60a8aefe9bdcd5839e358;hb=b3e00c5c1ff91409a2065feac83b3feec65cc474;hp=2013e9b3e1b07b789ed8fddfa5a9c05990d2b350;hpb=34feb17401c569973c510ae75360be275587d315;p=helm.git

diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend
index 2013e9b3e..9cdf013b9 100644
--- a/helm/ocaml/getter/.depend
+++ b/helm/ocaml/getter/.depend
@@ -1,6 +1,29 @@
-configuration.cmo: configuration.cmi 
-configuration.cmx: configuration.cmi 
-clientHTTP.cmo: configuration.cmi clientHTTP.cmi 
-clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
-getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
-getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi 
+getter.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+configuration.cmo: /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printf.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi \
+    configuration.cmi 
+configuration.cmx: /usr/lib/ocaml/3.06/hashtbl.cmx \
+    /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printf.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx \
+    configuration.cmi 
+clientHTTP.cmo: configuration.cmi \
+    /usr/lib/ocaml/3.06/netclient/http_client.cmi \
+    /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi clientHTTP.cmi 
+clientHTTP.cmx: configuration.cmx \
+    /usr/lib/ocaml/3.06/netclient/http_client.cmi \
+    /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx clientHTTP.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    getter.cmi 
+getter.cmx: clientHTTP.cmx configuration.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    getter.cmi