X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2F.depend;h=144c13d554aa4b0663426bd1a0d320aaad1735a9;hb=0bcf2dc1a27e38cb6cd3d44eb838d652926841e0;hp=d5062ccd7a801db106e9bbc39ccc5f920a49d0c9;hpb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;p=helm.git

diff --git a/matita/components/ng_extraction/.depend b/matita/components/ng_extraction/.depend
index d5062ccd7..144c13d55 100644
--- a/matita/components/ng_extraction/.depend
+++ b/matita/components/ng_extraction/.depend
@@ -1,101 +1,32 @@
-common.cmo : \
-    ocamlExtractionTable.cmi \
-    mlutil.cmi \
-    coq.cmi \
-    common.cmi
-common.cmx : \
-    ocamlExtractionTable.cmx \
-    mlutil.cmx \
-    coq.cmx \
-    common.cmi
-common.cmi : \
-    ocamlExtractionTable.cmi \
-    coq.cmi
-coq.cmo : \
-    coq.cmi
-coq.cmx : \
-    coq.cmi
+common.cmo : ocamlExtractionTable.cmi mlutil.cmi coq.cmi common.cmi
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
+common.cmi : ocamlExtractionTable.cmi coq.cmi
+coq.cmo : coq.cmi
+coq.cmx : coq.cmi
 coq.cmi :
-extraction.cmo : \
-    ocamlExtractionTable.cmi \
-    mlutil.cmi \
-    miniml.cmo \
-    coq.cmi \
-    common.cmi \
-    extraction.cmi
-extraction.cmx : \
-    ocamlExtractionTable.cmx \
-    mlutil.cmx \
-    miniml.cmx \
-    coq.cmx \
-    common.cmx \
-    extraction.cmi
-extraction.cmi : \
-    ocamlExtractionTable.cmi \
-    miniml.cmo
-miniml.cmo : \
-    coq.cmi
-miniml.cmx : \
-    coq.cmx
-mlutil.cmo : \
-    ocamlExtractionTable.cmi \
-    miniml.cmo \
-    coq.cmi \
-    mlutil.cmi
-mlutil.cmx : \
-    ocamlExtractionTable.cmx \
-    miniml.cmx \
-    coq.cmx \
-    mlutil.cmi
-mlutil.cmi : \
-    ocamlExtractionTable.cmi \
-    miniml.cmo \
-    coq.cmi
-nCicExtraction.cmo : \
-    nCicExtraction.cmi
-nCicExtraction.cmx : \
-    nCicExtraction.cmi
+extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
+    common.cmi extraction.cmi
+extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmx extraction.cmi
+extraction.cmi : ocamlExtractionTable.cmi miniml.cmo
+miniml.cmo : coq.cmi
+miniml.cmx : coq.cmx
+mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi
+mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
+mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
+nCicExtraction.cmo : nCicExtraction.cmi
+nCicExtraction.cmx : nCicExtraction.cmi
 nCicExtraction.cmi :
-ocaml.cmo : \
-    ocamlExtractionTable.cmi \
-    mlutil.cmi \
-    miniml.cmo \
-    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.cmo \
-    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.cmo : \
-    miniml.cmo \
-    coq.cmi \
-    ocamlExtractionTable.cmi
-ocamlExtractionTable.cmx : \
-    miniml.cmx \
-    coq.cmx \
-    ocamlExtractionTable.cmi
-ocamlExtractionTable.cmi : \
-    miniml.cmo \
-    coq.cmi
+ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo 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.cmo 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.cmo : miniml.cmo coq.cmi ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
+ocamlExtractionTable.cmi : miniml.cmo coq.cmi