cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove Z3 from Travis builds

Browse Source
This commit is contained in:
Leonardo Alt 2019-01-29 16:38:59 +01:00
parent 110b9a6232
commit 80e5e70671
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -58,13 +58,11 @@ matrix:
before_install: before_install:
- sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test - 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:mhier/libboost-latest
- sudo add-apt-repository -y ppa:hvr/z3
- sudo apt-get update -qq - sudo apt-get update -qq
install: install:
- sudo apt-get install -qq g++-8 gcc-8 - sudo apt-get install -qq g++-8 gcc-8
- sudo apt-get install -qq libboost1.67-dev - sudo apt-get install -qq libboost1.67-dev
- sudo apt-get install -qq libleveldb1 - 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/g++ g++ /usr/bin/g++-8 90
- sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90 - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90
@ -78,13 +76,11 @@ matrix:
before_install: before_install:
- sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test - 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:mhier/libboost-latest
- sudo add-apt-repository -y ppa:hvr/z3
- sudo apt-get update -qq - sudo apt-get update -qq
install: install:
- sudo apt-get install -qq g++-8 gcc-8 - sudo apt-get install -qq g++-8 gcc-8
- sudo apt-get install -qq libboost1.67-dev - sudo apt-get install -qq libboost1.67-dev
- sudo apt-get install -qq libleveldb1 - 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/g++ g++ /usr/bin/g++-8 90
- sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90 - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 90