X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2F.depend;h=bbeb6de724850d9785bf6f327558fb2eaa5698b6;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=492a34e3a9dad11aa9a08d4a09802647c6e0bf95;hpb=c74f1dccc79f51f860a5b4e7ef67762823174d50;p=helm.git

diff --git a/helm/software/components/metadata/.depend b/helm/software/components/metadata/.depend
index 492a34e3a..bbeb6de72 100644
--- a/helm/software/components/metadata/.depend
+++ b/helm/software/components/metadata/.depend
@@ -1,23 +1,25 @@
-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 
+sqlStatements.cmi :
+metadataTypes.cmi :
+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