diff options
author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-26 15:28:58 +0100 |
---|---|---|
committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-26 15:28:58 +0100 |
commit | a59a087dbf176d1c96e65cb1609f06a512803a9d (patch) | |
tree | 6f0e66afc65be18d7e37a16adeb203f65cba9952 /run-test-suite.sh | |
parent | 723e6a391eb5a93036048c74ac94a17fca12c02a (diff) |
Add sandbox dependency for profiling.
Diffstat (limited to 'run-test-suite.sh')
-rwxr-xr-x | run-test-suite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/run-test-suite.sh b/run-test-suite.sh index 88889a34..5a7cead1 100755 --- a/run-test-suite.sh +++ b/run-test-suite.sh | |||
@@ -5,6 +5,8 @@ if [ "$1" == "--profile" ] ; then | |||
5 | cabal clean | 5 | cabal clean |
6 | cabal sandbox delete | 6 | cabal sandbox delete |
7 | cabal sandbox init | 7 | cabal sandbox init |
8 | git clone https://github.com/lambdacube3d/lambdacube-ir /tmp/ir | ||
9 | cabal sandbox add-source /tmp/ir/lambdacube-ir.haskell | ||
8 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling --constraint="indentation -trifecta" | 10 | cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling --constraint="indentation -trifecta" |
9 | cabal configure --flags "profiling coverage" --enable-library-profiling --enable-executable-profiling | 11 | cabal configure --flags "profiling coverage" --enable-library-profiling --enable-executable-profiling |
10 | cabal build | 12 | cabal build |
@@ -17,6 +19,7 @@ if [ "$1" == "--profile" ] ; then | |||
17 | rm lambdacube-compiler-test-suite.tix | 19 | rm lambdacube-compiler-test-suite.tix |
18 | cabal sandbox delete | 20 | cabal sandbox delete |
19 | cabal clean | 21 | cabal clean |
22 | rm -rf /tmp/ir | ||
20 | elif [ "$1" == "--coverage" ] ; then | 23 | elif [ "$1" == "--coverage" ] ; then |
21 | shift | 24 | shift |
22 | set +e | 25 | set +e |