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

Bump docker images to z3 4.8.12

Browse Source
This commit is contained in:
Leo Alt 2021-07-16 11:03:04 +02:00
parent 3d26d47d46
commit f745604474
4 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/docker/buildpack-deps/Dockerfile.emscripten
View File

@ -29,12 +29,12 @@
# make version=2.0.12 build
#
FROM emscripten/emsdk:2.0.12 AS base
LABEL version="5"
LABEL version="6"
ADD emscripten.jam /usr/src
RUN set -ex; \
cd /usr/src; \
git clone https://github.com/Z3Prover/z3.git -b z3-4.8.10 --depth 1 ; \
git clone https://github.com/Z3Prover/z3.git -b z3-4.8.12 --depth 1 ; \
cd z3; \
mkdir build; \
cd build; \

4
scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz
View File

@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM gcr.io/oss-fuzz-base/base-clang as base
LABEL version="9"
LABEL version="10"
ARG DEBIAN_FRONTEND=noninteractive
@ -60,7 +60,7 @@ RUN set -ex; \
# Z3
RUN set -ex; \
git clone --depth 1 -b z3-4.8.10 https://github.com/Z3Prover/z3.git \
git clone --depth 1 -b z3-4.8.12 https://github.com/Z3Prover/z3.git \
/usr/src/z3; \
cd /usr/src/z3; \
mkdir build; \

4
scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
View File

@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="6"
LABEL version="7"
ARG DEBIAN_FRONTEND=noninteractive
@ -37,7 +37,7 @@ RUN set -ex; \
cmake ninja-build \
libboost-filesystem-dev libboost-test-dev libboost-system-dev \
libboost-program-options-dev \
libcvc4-dev libz3-static-dev \
libcvc4-dev libz3-static-dev z3-static \
; \
apt-get install -qy python3-pip python3-sphinx; \
pip3 install codecov; \

2
scripts/docker/buildpack-deps/Dockerfile.ubuntu2004.clang
View File

@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="6"
LABEL version="7"
ARG DEBIAN_FRONTEND=noninteractive