solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048)

This commit is contained in:
Bhargava Shastry 2019-11-20 15:59:23 +01:00 committed by jonathanmetzman
parent 82dbcea557
commit efade0f8c5
1 changed files with 1 additions and 21 deletions

View File

@ -27,10 +27,8 @@ RUN git clone --depth 1 https://github.com/ethereum/solidity-fuzzing-corpus.git
RUN git clone --recursive -b boost-1.69.0 https://github.com/boostorg/boost.git \
boost
RUN git clone --depth 1 https://github.com/google/libprotobuf-mutator.git
RUN git clone --branch="v0.1.0" --recurse-submodules \
RUN git clone --branch="v0.3.0" --recurse-submodules \
https://github.com/ethereum/evmone.git
RUN git clone --branch="v0.2.0" https://github.com/chfast/intx.git
RUN git clone --branch="v0.4.4" https://github.com/chfast/ethash.git
RUN git clone --branch="Z3-4.8.5" https://github.com/Z3Prover/z3.git
# Install statically built dependencies in "/usr" directory
@ -64,24 +62,6 @@ RUN cd $SRC/evmone; \
ninja; \
ninja install;
# Install intx
RUN cd $SRC/intx; \
mkdir -p build; \
cd build; \
cmake .. -G Ninja -DBUILD_SHARED_LIBS=OFF -DINTX_TESTING=OFF \
-DINTX_BENCHMARKING=OFF -DCMAKE_INSTALL_PREFIX="/usr"; \
ninja; \
ninja install;
# Install ethash
RUN cd $SRC/ethash; \
mkdir -p build; \
cd build; \
cmake .. -G Ninja -DBUILD_SHARED_LIBS=OFF -DETHASH_BUILD_TESTS=OFF \
-DCMAKE_INSTALL_PREFIX="/usr"; \
ninja; \
ninja install;
# Install Z3
RUN cd $SRC/z3; \
mkdir -p build; \