diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-11-07 12:46:40 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-11-07 12:46:40 +0100 |
commit | d052fdc20bf4de1e5bf160ad94723f6e46654c4b (patch) | |
tree | 21887ea32a69525df7e9f402432f51c3e0f35aff /run-test-suite.sh | |
parent | 0926ee8c49e52a7cd0b1fa3187f46df4305c97c5 (diff) |
refactor cabal flags, by default only library and lc command line tool is built
Diffstat (limited to 'run-test-suite.sh')
-rwxr-xr-x | run-test-suite.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index f7e051c6..d2173427 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
@@ -5,7 +5,7 @@ UNIT_TEST_PARAMS="--quickcheck-max-size 30 --quickcheck-tests 100" | |||
5 | if [ "$1" == "--profile" ] ; then | 5 | if [ "$1" == "--profile" ] ; then |
6 | shift | 6 | shift |
7 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling | 7 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling |
8 | cabal configure --flags "profiling onlytestsuite" --enable-library-profiling --enable-executable-profiling | 8 | cabal configure --flags "profiling testsuite -cli" --enable-library-profiling --enable-executable-profiling |
9 | set +e | 9 | set +e |
10 | RESULT_UNITTESTS=0 | 10 | RESULT_UNITTESTS=0 |
11 | cabal run lambdacube-compiler-test-suite -- -r -iperformance -i.ignore $@ +RTS -p | 11 | cabal run lambdacube-compiler-test-suite -- -r -iperformance -i.ignore $@ +RTS -p |
@@ -14,7 +14,7 @@ elif [ "$1" == "--coverage" ] ; then | |||
14 | shift | 14 | shift |
15 | set +e | 15 | set +e |
16 | cabal install --only-dependencies | 16 | cabal install --only-dependencies |
17 | cabal configure --flags "coverage" | 17 | cabal configure --flags "coverage alltest" |
18 | cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS | 18 | cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS |
19 | RESULT_UNITTESTS=`echo $?` | 19 | RESULT_UNITTESTS=`echo $?` |
20 | cabal run lambdacube-compiler-coverage-test-suite -- -iperformance -i.ignore -r $@ | 20 | cabal run lambdacube-compiler-coverage-test-suite -- -iperformance -i.ignore -r $@ |