X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2F.depend.opt;h=968d8ffe9355dad2b602be5a4861ee71b475fabb;hp=03f5f9a002277b547522f2e78ba6bf18a21afeea;hb=578ba04e1a0812f538729fbc02ea38d2cfd0ed3e;hpb=b3aa03ebf904d8c7290aa44b4ce80bf3f976fb2e

diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt
index 03f5f9a00..968d8ffe9 100644
--- a/matita/components/ng_extraction/.depend.opt
+++ b/matita/components/ng_extraction/.depend.opt
@@ -1,21 +1,34 @@
-common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
-    common.cmi
-common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
-coq.cmx : coq.cmi
+nCicExtraction.cmi :
 coq.cmi :
-extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
-    common.cmx extraction.cmi
+ocamlExtractionTable.cmi : miniml.cmx coq.cmi
+mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
 extraction.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocamlExtraction.cmi : ocamlExtractionTable.cmi
+miniml.cmo : coq.cmi
 miniml.cmx : coq.cmx
-mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
-mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+nCicExtraction.cmo : nCicExtraction.cmi
 nCicExtraction.cmx : nCicExtraction.cmi
-nCicExtraction.cmi :
+coq.cmo : coq.cmi
+coq.cmx : coq.cmi
+ocamlExtractionTable.cmo : miniml.cmx coq.cmi ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
+mlutil.cmo : ocamlExtractionTable.cmi miniml.cmx coq.cmi mlutil.cmi
+mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
+common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \
+    common.cmi
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmi
+extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \
+    common.cmi extraction.cmi
+extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmx extraction.cmi
+ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \
+    common.cmi ocaml.cmi
 ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
     common.cmx ocaml.cmi
-ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
+    coq.cmi ocamlExtraction.cmi
 ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
     coq.cmx ocamlExtraction.cmi
-ocamlExtraction.cmi : ocamlExtractionTable.cmi
-ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
-ocamlExtractionTable.cmi : miniml.cmx coq.cmi