]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / getter / .depend
index 2013e9b3e1b07b789ed8fddfa5a9c05990d2b350..9cdf013b9d4b601346f60a8aefe9bdcd5839e358 100644 (file)
@@ -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