switch to new compiler

1 files changed, 20 insertions, 0 deletions

diff --git a/run-test-suite.sh b/run-test-suite.sh
new file mode 100755
index 00000000..9ced8e55
--- /dev/null
+++ b/run-test-suite.sh
@@ -0,0 +1,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