From 0a09ab37b58ba9a1d0d2c210ffabf5fcce3aa95a Mon Sep 17 00:00:00 2001
From: Andor Penzes <andor.penzes@gmail.com>
Date: Wed, 27 Jan 2016 00:54:08 +0100
Subject: Profiling with travis builds.

---
 .travis.yml              | 12 +++++++++++-
 travis-build.sh          |  7 -------
 travis/travis-build.sh   |  7 +++++++
 travis/travis-profile.sh |  5 +++++
 4 files changed, 23 insertions(+), 8 deletions(-)
 delete mode 100755 travis-build.sh
 create mode 100755 travis/travis-build.sh
 create mode 100755 travis/travis-profile.sh

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-build.sh
deleted file mode 100755
index 9af0093d..00000000
--- a/travis-build.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/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-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
-- 
cgit v1.2.3