Added new target libraries-complete.ps (with also all the external

dependencies).

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index a2cb5f27819fb68020db7ca9ee0afcfd6f047f19..0fb6d927aad6f9c4e9ff182122dfb3c21b7938eb 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -69,5 +69,17 @@ METAS/META.helm-%: METAS/meta.helm-%.src
        mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
        echo "}" >> $@
 
+.PHONY: .alldep.dot
+.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
+       mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
+       echo "}" >> $@
+
+
 libraries.ps: .dep.dot
        dot -Tps -o $@ $<
+
+libraries-complete.ps: .alldep.dot
+       dot -Tps -o $@ $<