diff options
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 26 |
1 files changed, 20 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index 1f646f0de..481a9b9a9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -28,7 +28,6 @@ addons: - python3-setuptools - swig3.0 before_install: - - eval "${MATRIX_EVAL}" # Clang does not play nice with ccache (at least the versions offered by # Travis), use a workaround: # https://github.com/travis-ci/travis-ci/issues/5383#issuecomment-224630584 @@ -107,22 +106,37 @@ matrix: # Test with GCC - compiler: gcc env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='production --language-bindings=java --lfsc' TRAVIS_PYTHON="python" + - TRAVIS_CVC4=yes + - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_CONFIG="production --language-bindings=java --lfsc" + - TRAVIS_PYTHON=python - compiler: gcc env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --symfpu --lfsc --no-debug-symbols' TRAVIS_PYTHON="python" + - TRAVIS_CVC4=yes + - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_CONFIG="debug --symfpu --lfsc --no-debug-symbols" + - TRAVIS_PYTHON=python # Test python bindings - compiler: gcc env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG="production --python-bindings --python2" TRAVIS_PYTHON="python" + - TRAVIS_CVC4=yes + - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_CONFIG="production --python-bindings --python2" + - TRAVIS_PYTHON=python - compiler: gcc env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG="production --python-bindings --python3" TRAVIS_PYTHON="python3" + - TRAVIS_CVC4=yes + - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_CONFIG="production --python-bindings --python3" + - TRAVIS_PYTHON=python3 # # Test with Clang - compiler: clang env: - - TRAVIS_CVC4=yes TRAVIS_WITH_LFSC=yes TRAVIS_CVC4_CONFIG='debug --symfpu --cln --gpl --no-debug-symbols --no-proofs' TRAVIS_PYTHON="python" + - TRAVIS_CVC4=yes + - TRAVIS_WITH_LFSC=yes + - TRAVIS_CVC4_CONFIG="debug --symfpu --cln --gpl --no-debug-symbols --no-proofs" + - TRAVIS_PYTHON=python notifications: email: on_success: change |