added generation of KLOCs in dot diagrams

[helm.git] / helm / ocaml / deps.patch

diff --git a/helm/ocaml/deps.patch b/helm/ocaml/deps.patch
index d7f9cf8c9edf269daf269a4fee5d15a12cc59b37..90130dfe82a4d9d510046b5df42d9f19bc1ef9f9 100644 (file)
--- a/helm/ocaml/deps.patch
+++ b/helm/ocaml/deps.patch
@@ -1,11 +1,23 @@
---- .dep.dot   2005-12-19 12:07:15.000000000 +0100
-+++ .dep.dot.new       2005-12-19 12:08:10.000000000 +0100
-@@ -14,7 +14,7 @@
+--- .clustersdep.dot   2006-01-26 10:10:46.000000000 +0100
++++ .clustersdep.new   2006-01-26 10:10:44.000000000 +0100
+@@ -1,11 +1,8 @@
+ digraph G {
+   xml [label="xml\n.5 klocs"];
+-  xmldiff [label="xmldiff\n.3 klocs"];
+   whelp [label="whelp\n.3 klocs"];
+   utf8_macros [label="utf8_macros\n.2 klocs"];
+   urimanager [label="urimanager\n.2 klocs"];
+-  thread [label="thread\n.2 klocs"];
+-  paramodulation [label="paramodulation\n5.9 klocs"];
+   tactics [label="tactics\n10.0 klocs"];
+   registry [label="registry\n.6 klocs"];
+   metadata [label="metadata\n1.9 klocs"];
+@@ -42,7 +39,7 @@
  "cic_unification" -> "library";
  "library" -> "metadata";
  "library" -> "cic_acic";
 -"metadata" -> "cic_proof_checking";
 +"metadata" -> "cic";
  "metadata" -> "hmysql";
- "grafite" -> "content_pres";
+ "grafite" -> "cic";
  "content_pres" -> "utf8_macros";