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

Merge pull request #7678 from ethereum/updatePPAScripts

Browse Source 
Update PPA build scripts.
This commit is contained in:
chriseth 2019-11-11 17:07:46 +01:00 committed by GitHub
commit 375be4a04d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.circleci/docker/Dockerfile.clang.ubuntu1904
View File

@ -62,7 +62,7 @@ RUN git clone --recursive -b boost-1.69.0 https://github.com/boostorg/boost.git
rm -rf /usr/src/boost
# Z3
RUN git clone --depth 1 -b Z3-4.8.5 https://github.com/Z3Prover/z3.git \
RUN git clone --depth 1 -b z3-4.8.6 https://github.com/Z3Prover/z3.git \
/usr/src/z3; \
cd /usr/src/z3; \
python scripts/mk_make.py --prefix=/usr ; \

6
scripts/deps-ppa/static_z3.sh
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"

2
scripts/release_ppa.sh
View File

@ -57,7 +57,7 @@ packagename=solc
static_build_distribution=disco
DISTRIBUTIONS="bionic disco"
DISTRIBUTIONS="bionic disco eoan"
if is_release
then