From fa9fe7dafcc57ec967992a00693650fd11d643ab Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 30 Aug 2017 09:04:36 -0700 Subject: [PATCH] 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. --- .travis.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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: -- 2.30.2