diff options
Diffstat (limited to 'quickcheck/run.sh')
| -rw-r--r-- | quickcheck/run.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/quickcheck/run.sh b/quickcheck/run.sh new file mode 100644 index 0000000000..cff728abee --- /dev/null +++ b/quickcheck/run.sh @@ -0,0 +1,23 @@ +#!/bin/sh + +# I suck at bash scripting. Please feel free to make this code better. + +Root=../compiler + +ExtraOptions="-cpp -fglasgow-exts -package ghc" + +HC=$Root/stage2/ghc-inplace + +Debug="False" + +if [ "$1" == "debug" ] + then + Debug="True" +fi + +if [ "$1" == "ghci" ] + then + $HC --interactive $ExtraOptions $2 + else + $HC --interactive -e "runUnitTests $Debug" $ExtraOptions RunTests.hs +fi
\ No newline at end of file |