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 88b0fe02d33501b4d686d2ba0013fb8761638654..a2982000de7da2f793bc9647f83b003506a6a511 100644 (file)
--- 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: