]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/.depend
New module to extract from the Db direct and inverse dependencies starting from
[helm.git] / components / metadata / .depend
index 04197957bc992225bd8cb7238bfc785585ef76bf..492a34e3a9dad11aa9a08d4a09802647c6e0bf95 100644 (file)
@@ -2,6 +2,7 @@ metadataExtractor.cmi: metadataTypes.cmi
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 
 metadataDb.cmi: metadataTypes.cmi 
+metadataDeps.cmi: metadataTypes.cmi 
 sqlStatements.cmo: sqlStatements.cmi 
 sqlStatements.cmx: sqlStatements.cmi 
 metadataTypes.cmo: metadataTypes.cmi 
@@ -18,3 +19,5 @@ metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
     metadataConstraints.cmi metadataDb.cmi 
 metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
     metadataConstraints.cmx metadataDb.cmi 
+metadataDeps.cmo: sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi 
+metadataDeps.cmx: sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi