From: Claudio Sacerdoti Coen Date: Thu, 12 Feb 2004 12:22:25 +0000 (+0000) Subject: libraries-complete.ps: X-Git-Tag: V_0_3_0~6 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=53875b9ed0b9fe06786c596c8be707740b154948;p=helm.git libraries-complete.ps: * square nodes now have a yellow blackground * pxp-* packages collapsed to a single node pxp[-*] --- diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 910e599cf..4f745c833 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -73,9 +73,9 @@ METAS/META.helm-%: METAS/meta.helm-%.src .alldep.dot: echo "digraph G {" > $@ echo " rankdir = TB ;" >> $@ - for i in $(MODULES); do ocamlfind query helm-$$i -recursive -p-format | sed "s/^/ \"helm-$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done + for i in $(MODULES); do ocamlfind query helm-$$i -recursive -p-format | grep -v "pxp-" | sed "s/^pxp/pxp[-*]/g" | sed "s/^/ \"helm-$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old - for i in $(MODULES); do echo "\"helm-$$i\" [shape=box];" >> $@ ; done + for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done echo "}" >> $@