diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-07 17:51:46 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-07 17:51:46 -0800 |
| commit | a21b519006224b0d81cd5e36104cad6f43d4720c (patch) | |
| tree | 07566ec60faf22e62b559e42bc53b7ea4b8d3838 | |
| parent | db6d6f0f330b28a68841a4c75b63d61b434496ba (diff) | |
Reduce number of Travis builds. (#1578)
| -rw-r--r-- | .travis.yml | 40 |
1 files changed, 13 insertions, 27 deletions
diff --git a/.travis.yml b/.travis.yml index 6ad643a45..562987f3c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -17,9 +17,6 @@ cache: sudo: required dist: trusty -compiler: - - gcc - - clang env: global: # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created @@ -27,11 +24,6 @@ env: - secure: "fRfdzYwV10VeW5tVSvy5qpR8ZlkXepR7XWzCulzlHs9SRI2YY20BpzWRjyMBiGu2t7IeJKT7qdjq/CJOQEM8WS76ON7QJ1iymKaRDewDs3OhyPJ71fsFKEGgLky9blk7I9qZh23hnRVECj1oJAVry9IK04bc2zyIEjUYpjRkUAQ=" - TEST_GROUPS=2 - CCACHE_COMPRESS=1 - matrix: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c --with-lfsc' - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-lfsc --disable-debug-symbols' - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-cln --enable-gpl --disable-debug-symbols --disable-proof' - - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes TRAVIS_CVC4_CONFIG='--enable-proof' addons: apt: sources: @@ -119,27 +111,21 @@ script: matrix: fast_finish: true include: - # Test with GCC7 - - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - *common_deps - - g++-7 + # Test with GCC + - compiler: gcc env: - - MATRIX_EVAL='CC=gcc-7 && CXX=g++-7' - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-lfsc --disable-debug-symbols' TEST_GROUP=0 - - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - *common_deps - - g++-7 + - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c --with-lfsc' + - compiler: gcc + env: + - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-lfsc --disable-debug-symbols' + # + # Test with Clang + - compiler: clang + env: + - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-cln --enable-gpl --disable-debug-symbols --disable-proof' + - compiler: clang env: - - MATRIX_EVAL='CC=gcc-7 && CXX=g++-7' - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --with-lfsc --disable-debug-symbols' TEST_GROUP=1 + - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes TRAVIS_CVC4_CONFIG='--enable-proof' # Rule for running Coverity Scan. - os: linux compiler: gcc |