Merge branch 'smtv2-dont-fail-on-untyped-prover-vars' into 'master'
[why3.git] / doc / drv_depgraph
blob67bfde1755a4b2e4be18370ef32a4f0ea2d246c8
1 #!/bin/sh
3 cat <<EOF
4 digraph G {
5 rankdir=RL;
6 nodesep=0.4
7 ranksep=0.6
8 node [shape=box,margin=0.05]
9 EOF
11 for file in "$@"; do
12 depends="$(sed -n -e 's/^import "\([^"]*\)"/\1/p' $file)"
13 for d in $depends; do
14 if test "$d" != "discrimination.gen" ; then
15 echo " \"$(basename $file)\" -> \"$d\";"
17 done
18 done
20 echo "}"