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

Bump docker for z3 4.8.10

Browse Source
This commit is contained in:
Leonardo Alt
2021-01-26 11:37:11 +01:00
parent 22ad64a0fd
commit fbfcb4e71d
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz
+2 -2
View File
@@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM gcr.io/oss-fuzz-base/base-clang as base
LABEL version="7"
LABEL version="8"
ARG DEBIAN_FRONTEND=noninteractive
@@ -60,7 +60,7 @@ RUN set -ex; \
# Z3
RUN set -ex; \
git clone --depth 1 -b z3-4.8.9 https://github.com/Z3Prover/z3.git \
git clone --depth 1 -b z3-4.8.10 https://github.com/Z3Prover/z3.git \
/usr/src/z3; \
cd /usr/src/z3; \
mkdir build; \