Profiling with travis builds.

2 files changed, 12 insertions, 0 deletions

diff --git a/travis/travis-build.sh b/travis/travis-build.sh
new file mode 100755
index 00000000..9af0093d
--- /dev/null
+++ b/travis/travis-build.sh
@@ -0,0 +1,7 @@
+#!/bin/bash -e
+
+cd /root/source/lambdacube-compiler
+cabal check
+./run-test-suite.sh --coverage
+cabal sdist
+SRC_TGZ=$(cabal info . | awk '{print $2;exit}').tar.gz && (cd dist && cabal install --force-reinstalls "$SRC_TGZ")
diff --git a/travis/travis-profile.sh b/travis/travis-profile.sh
new file mode 100755
index 00000000..b571ee6d
--- /dev/null
+++ b/travis/travis-profile.sh
@@ -0,0 +1,5 @@
+#!/bin/bash -e
+
+cd /root/source/lambdacube-compiler
+./run-test-suite.sh --profile
+cat lambdacube-compiler-coverage-test-suite.prof