mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Update docker images to Z3 4.8.14.
This commit is contained in:
parent
81d3e532b8
commit
38545e81c1
@ -25,9 +25,9 @@ set -ev
|
|||||||
keyid=70D110489D66E2F6
|
keyid=70D110489D66E2F6
|
||||||
email=builds@ethereum.org
|
email=builds@ethereum.org
|
||||||
packagename=z3-static
|
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
|
for distribution in $DISTRIBUTIONS
|
||||||
do
|
do
|
||||||
|
@ -33,12 +33,12 @@
|
|||||||
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
|
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
|
||||||
# dependencies automatically.
|
# dependencies automatically.
|
||||||
FROM emscripten/emsdk:2.0.33 AS base
|
FROM emscripten/emsdk:2.0.33 AS base
|
||||||
LABEL version="8"
|
LABEL version="9"
|
||||||
|
|
||||||
ADD emscripten.jam /usr/src
|
ADD emscripten.jam /usr/src
|
||||||
RUN set -ex; \
|
RUN set -ex; \
|
||||||
cd /usr/src; \
|
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; \
|
cd z3; \
|
||||||
mkdir build; \
|
mkdir build; \
|
||||||
cd build; \
|
cd build; \
|
||||||
|
@ -22,7 +22,7 @@
|
|||||||
# (c) 2016-2021 solidity contributors.
|
# (c) 2016-2021 solidity contributors.
|
||||||
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
||||||
FROM gcr.io/oss-fuzz-base/base-clang:latest as base
|
FROM gcr.io/oss-fuzz-base/base-clang:latest as base
|
||||||
LABEL version="14"
|
LABEL version="15"
|
||||||
|
|
||||||
ARG DEBIAN_FRONTEND=noninteractive
|
ARG DEBIAN_FRONTEND=noninteractive
|
||||||
|
|
||||||
@ -61,7 +61,7 @@ RUN set -ex; \
|
|||||||
|
|
||||||
# Z3
|
# Z3
|
||||||
RUN set -ex; \
|
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; \
|
/usr/src/z3; \
|
||||||
cd /usr/src/z3; \
|
cd /usr/src/z3; \
|
||||||
mkdir build; \
|
mkdir build; \
|
||||||
|
@ -22,7 +22,7 @@
|
|||||||
# (c) 2016-2019 solidity contributors.
|
# (c) 2016-2019 solidity contributors.
|
||||||
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
||||||
FROM buildpack-deps:focal AS base
|
FROM buildpack-deps:focal AS base
|
||||||
LABEL version="9"
|
LABEL version="10"
|
||||||
|
|
||||||
ARG DEBIAN_FRONTEND=noninteractive
|
ARG DEBIAN_FRONTEND=noninteractive
|
||||||
|
|
||||||
|
@ -22,7 +22,7 @@
|
|||||||
# (c) 2016-2019 solidity contributors.
|
# (c) 2016-2019 solidity contributors.
|
||||||
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
||||||
FROM buildpack-deps:focal AS base
|
FROM buildpack-deps:focal AS base
|
||||||
LABEL version="9"
|
LABEL version="10"
|
||||||
|
|
||||||
ARG DEBIAN_FRONTEND=noninteractive
|
ARG DEBIAN_FRONTEND=noninteractive
|
||||||
|
|
||||||
|
@ -57,7 +57,7 @@ packagename=solc
|
|||||||
|
|
||||||
static_build_distribution=hirsute
|
static_build_distribution=hirsute
|
||||||
|
|
||||||
DISTRIBUTIONS="focal hirsute impish"
|
DISTRIBUTIONS="focal hirsute impish jammy"
|
||||||
|
|
||||||
if is_release
|
if is_release
|
||||||
then
|
then
|
||||||
|
Loading…
Reference in New Issue
Block a user