diff options
-rw-r--r-- | .travis.yml | 12 | ||||
-rwxr-xr-x | travis/travis-build.sh (renamed from travis-build.sh) | 0 | ||||
-rwxr-xr-x | travis/travis-profile.sh | 5 |
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 | |||
5 | services: | 5 | services: |
6 | - docker | 6 | - docker |
7 | 7 | ||
8 | matrix: | ||
9 | fast_finish: true | ||
10 | include: | ||
11 | - c: gcc | ||
12 | env: BUILD_TYPE=build | ||
13 | - c: clang | ||
14 | env: BUILD_TYPE=profile | ||
15 | allow_failures: | ||
16 | - c: clang | ||
17 | |||
8 | before_install: | 18 | before_install: |
9 | - grep '\(MemTotal\|SwapTotal\)' /proc/meminfo | 19 | - grep '\(MemTotal\|SwapTotal\)' /proc/meminfo |
10 | - git show | head -1 # (for matching against commit hash given on the travis log web page) | 20 | - git show | head -1 # (for matching against commit hash given on the travis log web page) |
@@ -12,4 +22,4 @@ before_install: | |||
12 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list" | 22 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list" |
13 | 23 | ||
14 | script: | 24 | script: |
15 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis-build.sh" | 25 | - 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 @@ | |||
1 | #!/bin/bash -e | ||
2 | |||
3 | cd /root/source/lambdacube-compiler | ||
4 | ./run-test-suite.sh --profile | ||
5 | cat lambdacube-compiler-coverage-test-suite.prof | ||