From: Claudio Sacerdoti Coen Date: Tue, 10 Jun 2003 15:15:51 +0000 (+0000) Subject: Added new target libraries.ps (and .dep.dot). X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=aea79f1d6ccdec690221166bc2f464fae52a109e;p=helm.git Added new target libraries.ps (and .dep.dot). Requires the directory simplify_deps (committed under the helm/graph/tools stuff). --- diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore index 42fae1139..bc349f451 100644 --- a/helm/ocaml/.cvsignore +++ b/helm/ocaml/.cvsignore @@ -22,3 +22,5 @@ config.cache config.log config.status configure +libraries.ps +.dep.dot diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index c0ca10b0a..96a7522d9 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -39,3 +39,14 @@ $(MODULES:%=%.clean): cd $(@:%.clean=%) && make clean META.helm-%: META.helm-%.src cp $< $@ && echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@ + +.PHONY: .dep.dot +.dep.dot: + echo "digraph G {" > $@ + echo " rankdir = TB ;" >> $@ + for i in $(MODULES); do ocamlfind query helm-$$i -recursive -p-format | grep helm | 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 $@ $<