X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2F.depend.opt;h=03f5f9a002277b547522f2e78ba6bf18a21afeea;hb=1d3dc48a9755b08ecb93d88b67b8445fbb314ad6;hp=5900531477e7d0313ec4a3e591cef154b96f1d52;hpb=87a9c693cc28dad1714fab2a470352e7573288fc;p=helm.git

diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt
index 590053147..03f5f9a00 100644
--- a/matita/components/ng_extraction/.depend.opt
+++ b/matita/components/ng_extraction/.depend.opt
@@ -1,32 +1,21 @@
-nCicExtraction.cmi:
-coq.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
-nCicExtraction.cmo: nCicExtraction.cmi
-nCicExtraction.cmx: 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 : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmi
+common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
+coq.cmx : coq.cmi
+coq.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
-ocamlExtraction.cmo: ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
-    coq.cmi ocamlExtraction.cmi
-ocamlExtraction.cmx: ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
+extraction.cmi : ocamlExtractionTable.cmi miniml.cmx 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.cmx : nCicExtraction.cmi
+nCicExtraction.cmi :
+ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmx ocaml.cmi
+ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.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