GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #15 from GaloisInc/jhx/fix-graphmod

Browse Source 
Fix graphmod script
This commit is contained in:
Joe Hendrix 2018-11-12 11:13:03 -05:00 committed by GitHub
commit 6a1a4162f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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
fi
dir="src"
name="reopt"
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
include="-i base/src -i x86/src"
files="$(find base/src -name '*.hs') $(find x86/src -name '*.hs')"
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