Profiling with travis builds.

3 files changed, 16 insertions, 1 deletions

diff --git a/.travis.yml b/.travis.yml
index 58577e97..2483ed84 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,6 +5,16 @@ sudo: required
 services:
   - docker
 
+matrix:
+  fast_finish: true
+  include:
+    - c: gcc
+      env: BUILD_TYPE=build
+    - c: clang
+      env: BUILD_TYPE=profile
+  allow_failures:
+    - c: clang
+
 before_install:
   - grep '\(MemTotal\|SwapTotal\)' /proc/meminfo
   - git show | head -1  # (for matching against commit hash given on the travis log web page)
@@ -12,4 +22,4 @@ before_install:
   - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list"
 
 script:
-  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis-build.sh"
+  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/travis-${BUILD_TYPE}.sh"
diff --git a/travis-build.sh b/travis/travis-build.sh
index 9af0093d..9af0093d 100755
--- a/travis-build.sh
+++ b/travis/travis-build.sh
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