GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-25 21:54:51 +03:00
Code Issues Projects Releases Wiki Activity

Fix graphmod script

Browse Source
This commit is contained in:
Joe Hendrix 2018-11-12 09:42:06 -05:00
parent 1d88f1fe98
commit 3c594dc6f8
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
scripts/run_graphmod.sh
View File

@ -7,10 +7,11 @@ if ! type -p graphmod || ! type -p dot; then
exit 1 exit 1
fi fi
dir="src" include="-i base/src -i x86/src"
name="reopt" files="$(find base/src -name '*.hs') $(find x86/src -name '*.hs')"
FILES="$(find src -name '*.hs') $(find reopt -name '*.hs')"
echo "Writing graphmod file to $name.svg"
graphmod -i src -i reopt -p --no-cluster $FILES -q | dot -Tsvg > reopt.svg
graphmod -i src -i reopt -p $FILES -q | dot -Tsvg > reopt_cluster.svg echo "Writing graphmod file to macaw.svg"
graphmod $include --no-cluster $files -q | dot -Tsvg > macaw.svg
echo "Writing graphmod file to macaw_cluster.svg"
graphmod $include -p $files -q | dot -Tsvg > macaw_cluster.svg