diff --git a/script/generate-example b/script/generate-example index a07fc6382..7b7d12b9c 100755 --- a/script/generate-example +++ b/script/generate-example @@ -37,20 +37,20 @@ generate_example () { if [ -e "$fileA" ]; then status $parseFileA - "$(dirname "$0")/run" semantic parse --sexpression $fileA > $parseFileA + stack exec semantic -- parse --sexpression $fileA > $parseFileA fi if [ -e "$fileB" ]; then status $parseFileB - "$(dirname "$0")/run" semantic parse --sexpression $fileB > $parseFileB + stack exec semantic -- parse --sexpression $fileB > $parseFileB fi if [ -e "$fileA" -a -e "$fileB" ]; then status $diffFileAB - "$(dirname "$0")/run" semantic diff --sexpression $fileA $fileB > $diffFileAB + stack exec semantic -- diff --sexpression $fileA $fileB > $diffFileAB status $diffFileBA - "$(dirname "$0")/run" semantic diff --sexpression $fileB $fileA > $diffFileBA + stack exec semantic -- diff --sexpression $fileB $fileA > $diffFileBA fi }