X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fmetadata%2F.depend.opt;fp=components%2Fmetadata%2F.depend.opt;h=492a34e3a9dad11aa9a08d4a09802647c6e0bf95;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/metadata/.depend.opt b/components/metadata/.depend.opt
new file mode 100644
index 000000000..492a34e3a
--- /dev/null
+++ b/components/metadata/.depend.opt
@@ -0,0 +1,23 @@
+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 
+metadataTypes.cmx: metadataTypes.cmi 
+metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
+metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.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 
+metadataDeps.cmo: sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi 
+metadataDeps.cmx: sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi