Skip to content

Commit

Permalink
Update docker images to Z3 4.8.14.
Browse files Browse the repository at this point in the history
  • Loading branch information
ekpyron committed Jan 12, 2022
1 parent 81d3e53 commit 38545e8
Showing 6 changed files with 9 additions and 9 deletions.
4 changes: 2 additions & 2 deletions scripts/deps-ppa/static_z3.sh
Original file line number Diff line number Diff line change
@@ -25,9 +25,9 @@ set -ev
keyid=70D110489D66E2F6
[email protected]
packagename=z3-static
version=4.8.13
version=4.8.14

DISTRIBUTIONS="focal groovy hirsute impish"
DISTRIBUTIONS="focal hirsute impish jammy"

for distribution in $DISTRIBUTIONS
do
4 changes: 2 additions & 2 deletions scripts/docker/buildpack-deps/Dockerfile.emscripten
Original file line number Diff line number Diff line change
@@ -33,12 +33,12 @@
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
# dependencies automatically.
FROM emscripten/emsdk:2.0.33 AS base
LABEL version="8"
LABEL version="9"

ADD emscripten.jam /usr/src
RUN set -ex; \
cd /usr/src; \
git clone https://github.com/Z3Prover/z3.git -b z3-4.8.13 --depth 1 ; \
git clone https://github.com/Z3Prover/z3.git -b z3-4.8.14 --depth 1 ; \
cd z3; \
mkdir build; \
cd build; \
Original file line number Diff line number Diff line change
@@ -22,7 +22,7 @@
# (c) 2016-2021 solidity contributors.
#------------------------------------------------------------------------------
FROM gcr.io/oss-fuzz-base/base-clang:latest as base
LABEL version="14"
LABEL version="15"

ARG DEBIAN_FRONTEND=noninteractive

@@ -61,7 +61,7 @@ RUN set -ex; \

# Z3
RUN set -ex; \
git clone --depth 1 -b z3-4.8.13 https://github.com/Z3Prover/z3.git \
git clone --depth 1 -b z3-4.8.14 https://github.com/Z3Prover/z3.git \
/usr/src/z3; \
cd /usr/src/z3; \
mkdir build; \
2 changes: 1 addition & 1 deletion scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
Original file line number Diff line number Diff line change
@@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="9"
LABEL version="10"

ARG DEBIAN_FRONTEND=noninteractive

2 changes: 1 addition & 1 deletion scripts/docker/buildpack-deps/Dockerfile.ubuntu2004.clang
Original file line number Diff line number Diff line change
@@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="9"
LABEL version="10"

ARG DEBIAN_FRONTEND=noninteractive

2 changes: 1 addition & 1 deletion scripts/release_ppa.sh
Original file line number Diff line number Diff line change
@@ -57,7 +57,7 @@ packagename=solc

static_build_distribution=hirsute

DISTRIBUTIONS="focal hirsute impish"
DISTRIBUTIONS="focal hirsute impish jammy"

if is_release
then

0 comments on commit 38545e8

Please sign in to comment.