repo.or.cz
/
why3.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge branch 'smtv2-dont-fail-on-untyped-prover-vars' into 'master'
[why3.git]
/
doc
/
drv_depgraph
blob
67bfde1755a4b2e4be18370ef32a4f0ea2d246c8
1
#!/bin/sh
2
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
10
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
\"
;"
16
fi
17
done
18
done
19
20
echo "}"