cerc-io/solidity
11
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

Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script.

Browse Source
This commit is contained in:
Daniel Kirchner
2019-11-11 14:55:00 +01:00
parent 7c7cca5f2d
commit b3174db322
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/deps-ppa/static_z3.sh
+3 -3
View File
@@ -25,9 +25,9 @@ set -ev
keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=libz3-static-dev
version=4.8.5
version=4.8.6
DISTRIBUTIONS="bionic disco"
DISTRIBUTIONS="bionic disco eoan"
for distribution in $DISTRIBUTIONS
do
@@ -40,7 +40,7 @@ pparepo=cpp-build-deps
ppafilesurl=https://launchpad.net/~ethereum/+archive/ubuntu/${pparepo}/+files
# Fetch source
git clone --depth 1 --branch Z3-${version} https://github.com/Z3Prover/z3.git
git clone --depth 1 --branch z3-${version} https://github.com/Z3Prover/z3.git
cd z3
debversion="$version"