mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
21 lines
341 B
Bash
Executable File
21 lines
341 B
Bash
Executable File
#!/bin/sh
|
|
|
|
cat <<EOF
|
|
digraph G {
|
|
rankdir=RL;
|
|
nodesep=0.4
|
|
ranksep=0.6
|
|
node [shape=box,margin=0.05]
|
|
EOF
|
|
|
|
for file in "$@"; do
|
|
depends="$(sed -n -e 's/^import "\([^"]*\)"/\1/p' $file)"
|
|
for d in $depends; do
|
|
if test "$d" != "discrimination.gen" ; then
|
|
echo " \"$(basename $file)\" -> \"$d\";"
|
|
fi
|
|
done
|
|
done
|
|
|
|
echo "}"
|