From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 30 Aug 2017 16:04:36 +0000 (-0700)
Subject: Remove Coverity SSL certificate workaround from Travis configuration. (#1058)
X-Git-Tag: cvc5-1.0.0~5659
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa9fe7dafcc57ec967992a00693650fd11d643ab;p=cvc5.git

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.
---

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: