diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-11-18 11:18:17 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-18 11:18:17 -0800 |
commit | 9f279be995da5f15a9a988fe93dc983401c28d95 (patch) | |
tree | fa40415766fdf1d2dc35f0814139ccad61515f72 /.travis.yml | |
parent | db63ea9a07135568c44d537a9f2e999b210f0b9f (diff) | |
parent | 9253cbff4f28651ec31ed1e1e714c9093a1ac222 (diff) |
Merge pull request #250 from nwellnhof/test-static-only-build
Test static-only build
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index abb33cb..b8818c3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,6 +8,11 @@ language: c compiler: - clang - gcc +matrix: + include: + - os: linux + compiler: gcc + env: CMAKE_OPTIONS="-DCMARK_SHARED=OFF" addons: apt: # we need a more recent cmake than travis/linux provides (at least 2.8.9): @@ -26,7 +31,7 @@ before_install: fi script: - - make + - (mkdir -p build && cd build && cmake $CMAKE_OPTIONS ..) - make test - | if [ ${TRAVIS_OS_NAME:-'linux'} = 'linux' ] |