enso/tools/graphmod/run.sh
2020-04-14 17:00:51 +01:00

8 lines
244 B
Bash
Executable File

#!/bin/bash
SELF="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
ROOT=$SELF/../..
find $ROOT/core/src -name "*.hs" -print | xargs graphmod -p > $SELF/dist/overview.dot
dot -Tpng -Gdpi=600 $SELF/dist/overview.dot > $SELF/dist/overview.png