]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
implemented here at_least constraints matching engine
[helm.git] / helm / ocaml / metadata / .depend
index f25f462cb386a0750975beff8d53615e85a56f2f..caa9708d61cb71295291131a2a7f8731b39aaf79 100644 (file)
@@ -1,8 +1,13 @@
 metadataExtractor.cmi: metadataTypes.cmo 
 metadataPp.cmi: metadataTypes.cmo 
+metadataQuery.cmi: metadataTypes.cmo 
 metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
 metadataPp.cmo: metadataPp.cmi 
 metadataPp.cmx: metadataPp.cmi 
-metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataDb.cmi 
-metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataDb.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