]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / .depend
index caa9708d61cb71295291131a2a7f8731b39aaf79..04197957bc992225bd8cb7238bfc785585ef76bf 100644 (file)
@@ -1,13 +1,20 @@
-metadataExtractor.cmi: metadataTypes.cmo 
-metadataPp.cmi: metadataTypes.cmo 
-metadataQuery.cmi: metadataTypes.cmo 
-metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
+metadataExtractor.cmi: metadataTypes.cmi 
+metadataPp.cmi: metadataTypes.cmi 
+metadataConstraints.cmi: metadataTypes.cmi 
+metadataDb.cmi: metadataTypes.cmi 
+sqlStatements.cmo: sqlStatements.cmi 
+sqlStatements.cmx: sqlStatements.cmi 
+metadataTypes.cmo: metadataTypes.cmi 
+metadataTypes.cmx: metadataTypes.cmi 
+metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataPp.cmi 
-metadataPp.cmx: metadataPp.cmi 
-metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
-    metadataDb.cmi 
-metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
-    metadataDb.cmi 
-metadataQuery.cmo: metadataPp.cmi metadataTypes.cmo metadataQuery.cmi 
-metadataQuery.cmx: metadataPp.cmx metadataTypes.cmx metadataQuery.cmi 
+metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
+metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
+metadataConstraints.cmo: metadataTypes.cmi metadataPp.cmi \
+    metadataConstraints.cmi 
+metadataConstraints.cmx: metadataTypes.cmx metadataPp.cmx \
+    metadataConstraints.cmi 
+metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
+    metadataConstraints.cmi metadataDb.cmi 
+metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
+    metadataConstraints.cmx metadataDb.cmi