diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-30 09:04:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-30 09:04:36 -0700 |
commit | fa9fe7dafcc57ec967992a00693650fd11d643ab (patch) | |
tree | c50c39fbef37478cafd5c3fdbd1cf06e928d6ed5 /.travis.yml | |
parent | 6642b52b199d658a838d1c1bb26c02e732c4e4d6 (diff) |
Remove Coverity SSL certificate workaround from Travis configuration. (#1058)
Coverity works without the SSL certificate workaround and is not needed anymore. Note that we don't require sudo anymore and we could switch to container-based Travis builds (instead of VM-based). However, container-based environments only provide 4G of memory (instead of 7.5G for VMs) , which is not enough for the current CVC4 build environment.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 88b0fe02d..a2982000d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -2,6 +2,9 @@ language: cpp cache: apt: true +# We need more than 4G memory for compiling CVC4. Hence, we cannot switch +# to container-based virtualization environments since they only provide 4G of +# memory. We will stick with the VM-based environments for now. sudo: required dist: trusty @@ -105,7 +108,6 @@ matrix: include: - os: linux compiler: gcc - before_install: echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca- env: - TRAVIS_COVERITY=yes CVC4_REGRESSION_ARGS='--no-early-exit' addons: |