diff options
| author | Bhargava Shastry <bshas3@gmail.com> | 2019-11-20 15:59:23 +0100 |
|---|---|---|
| committer | jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | 2019-11-20 06:59:23 -0800 |
| commit | efade0f8c5165974fbef6e31d0c22160a6c5c9d5 (patch) | |
| tree | 440fbad9fe80333d5485ecae647295cd680f333e /projects/solidity | |
| parent | 82dbcea557903141cfb9d380eb633f75bc6a81cb (diff) | |
| download | oss-fuzz-efade0f8c5165974fbef6e31d0c22160a6c5c9d5.tar.gz | |
solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048)
Diffstat (limited to 'projects/solidity')
| -rw-r--r-- | projects/solidity/Dockerfile | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/projects/solidity/Dockerfile b/projects/solidity/Dockerfile index 92521c3bd..e8181ee7a 100644 --- a/projects/solidity/Dockerfile +++ b/projects/solidity/Dockerfile @@ -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; \ |