From 80e5e706716a25067d9b2dde2f056bb41f66ad8d Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Tue, 29 Jan 2019 16:38:59 +0100 Subject: [PATCH] Remove Z3 from Travis builds --- .travis.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index 6d3d70e0e..c91daada1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -58,13 +58,11 @@ matrix: before_install: - sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test - sudo add-apt-repository -y ppa:mhier/libboost-latest - - sudo add-apt-repository -y ppa:hvr/z3 - sudo apt-get update -qq install: - sudo apt-get install -qq g++-8 gcc-8 - sudo apt-get install -qq libboost1.67-dev - sudo apt-get install -qq libleveldb1 - - sudo apt-get install -qq libz3-dev - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-8 90 - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90 @@ -78,13 +76,11 @@ matrix: before_install: - sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test - sudo add-apt-repository -y ppa:mhier/libboost-latest - - sudo add-apt-repository -y ppa:hvr/z3 - sudo apt-get update -qq install: - sudo apt-get install -qq g++-8 gcc-8 - sudo apt-get install -qq libboost1.67-dev - sudo apt-get install -qq libleveldb1 - - sudo apt-get install -qq libz3-dev - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-8 90 - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90