blob: 9ced8e55998596d474c20346ccf92adfc56d5576 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
if [ "$1" == "--profile" ] ; then
shift
cabal clean
cabal sandbox delete
cabal sandbox init
cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling
cabal configure --flags "profiling" --enable-library-profiling --enable-executable-profiling
cabal build
cabal run lambdacube-compiler-test-suite -- $@ +RTS -p
./create-test-report.sh
rm lambdacube-compiler-test-suite.tix
cabal sandbox delete
cabal clean
else
cabal run lambdacube-compiler-test-suite -- $@
./create-test-report.sh
rm lambdacube-compiler-test-suite.tix
fi
|