X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2F.depend;h=bb47a05591208e1f17a00b69f435d656e01660db;hb=6912a028bef118d8e9d7c2847200510a9b055c6a;hp=f25f462cb386a0750975beff8d53615e85a56f2f;hpb=21758b512843088d19e81830d9fb121725c8a16e;p=helm.git diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend index f25f462cb..bb47a0559 100644 --- a/helm/ocaml/metadata/.depend +++ b/helm/ocaml/metadata/.depend @@ -1,8 +1,17 @@ -metadataExtractor.cmi: metadataTypes.cmo -metadataPp.cmi: metadataTypes.cmo -metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi +metadataExtractor.cmi: metadataTypes.cmi +metadataPp.cmi: metadataTypes.cmi +metadataConstraints.cmi: metadataTypes.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 metadataDb.cmi -metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataDb.cmi +metadataPp.cmo: metadataTypes.cmi metadataPp.cmi +metadataPp.cmx: metadataTypes.cmx metadataPp.cmi +metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmi \ + metadataDb.cmi +metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \ + metadataDb.cmi +metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmi \ + metadataConstraints.cmi +metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \ + metadataConstraints.cmi