mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
docker: Upgrade to evmone v0.4.0
This commit is contained in:
parent
45aa7a8891
commit
f5633ffad7
@ -9,7 +9,7 @@ version: 2.1
|
|||||||
parameters:
|
parameters:
|
||||||
docker-image-rev:
|
docker-image-rev:
|
||||||
type: string
|
type: string
|
||||||
default: "3"
|
default: "4"
|
||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
|
|
||||||
|
@ -92,7 +92,7 @@ RUN set -ex; \
|
|||||||
# EVMONE
|
# EVMONE
|
||||||
RUN set -ex; \
|
RUN set -ex; \
|
||||||
cd /usr/src; \
|
cd /usr/src; \
|
||||||
git clone --branch="v0.3.0" --recurse-submodules https://github.com/ethereum/evmone.git; \
|
git clone --branch="v0.4.0" --recurse-submodules https://github.com/ethereum/evmone.git; \
|
||||||
cd evmone; \
|
cd evmone; \
|
||||||
mkdir build; \
|
mkdir build; \
|
||||||
cd build; \
|
cd build; \
|
||||||
|
@ -75,9 +75,9 @@ RUN set -ex; \
|
|||||||
rm -rf /var/lib/libfuzzer
|
rm -rf /var/lib/libfuzzer
|
||||||
|
|
||||||
# EVMONE
|
# EVMONE
|
||||||
ARG EVMONE_HASH="fa4f40daf7cf9ccbcca6c78345977e084ea2136a8eae661e4d19471be852b15b"
|
ARG EVMONE_HASH="e9f8df89c52d9c60c9a38dd00687b1ec9e9ae9650b400a87c4c0cf7468e35307"
|
||||||
ARG EVMONE_MAJOR="0"
|
ARG EVMONE_MAJOR="0"
|
||||||
ARG EVMONE_MINOR="3"
|
ARG EVMONE_MINOR="4"
|
||||||
ARG EVMONE_MICRO="0"
|
ARG EVMONE_MICRO="0"
|
||||||
RUN set -ex; \
|
RUN set -ex; \
|
||||||
EVMONE_VERSION="$EVMONE_MAJOR.$EVMONE_MINOR.$EVMONE_MICRO"; \
|
EVMONE_VERSION="$EVMONE_MAJOR.$EVMONE_MINOR.$EVMONE_MICRO"; \
|
||||||
|
@ -77,7 +77,7 @@ RUN set -ex; \
|
|||||||
# EVMONE
|
# EVMONE
|
||||||
RUN set -ex; \
|
RUN set -ex; \
|
||||||
cd /usr/src; \
|
cd /usr/src; \
|
||||||
git clone --branch="v0.3.0" --recurse-submodules https://github.com/ethereum/evmone.git; \
|
git clone --branch="v0.4.0" --recurse-submodules https://github.com/ethereum/evmone.git; \
|
||||||
cd evmone; \
|
cd evmone; \
|
||||||
mkdir build; \
|
mkdir build; \
|
||||||
cd build; \
|
cd build; \
|
||||||
|
Loading…
Reference in New Issue
Block a user