Add missing source for gcc7

PrincetonUniversity · Jul 8, 2020 · b2b173b · b2b173b
1 parent 50a1423
commit b2b173b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -50,11 +50,14 @@ jobs:
           branch_pattern: coverity_scan
         apt:
           update: true
+          sources:
+            - ubuntu-toolchain-r-test
           packages:
             - flex
             - bison
             - z3
             - libz3-dev
+            - g++-7
       before_install:
         - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
       before_script: