]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/.depend
mathql query generator interface patched
[helm.git] / helm / ocaml / getter / .depend
index 9cdf013b9d4b601346f60a8aefe9bdcd5839e358..c51f1a8e4abb83b2be03ca991ef12d102fc10a16 100644 (file)
@@ -1,29 +1,6 @@
-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 
+configuration.cmo: configuration.cmi 
+configuration.cmx: configuration.cmi 
+clientHTTP.cmo: clientHTTP.cmi 
+clientHTTP.cmx: clientHTTP.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
+getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi