X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fmetadata%2F.depend;h=492a34e3a9dad11aa9a08d4a09802647c6e0bf95;hb=abdee9194d49a401d15054ae93c7986e4199108e;hp=04197957bc992225bd8cb7238bfc785585ef76bf;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git diff --git a/components/metadata/.depend b/components/metadata/.depend index 04197957b..492a34e3a 100644 --- a/components/metadata/.depend +++ b/components/metadata/.depend @@ -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