From 0b64d50f0bff225262b37ff283d12f71d85b7294 Mon Sep 17 00:00:00 2001 From: Bhargava Shastry Date: Sun, 17 May 2020 19:39:08 +0200 Subject: [PATCH] solidity: Disable Z3 build in dockerfile --- projects/solidity/Dockerfile | 9 --------- 1 file changed, 9 deletions(-) diff --git a/projects/solidity/Dockerfile b/projects/solidity/Dockerfile index 9bf541354862..58ffe84114db 100644 --- a/projects/solidity/Dockerfile +++ b/projects/solidity/Dockerfile @@ -29,7 +29,6 @@ RUN git clone --recursive -b boost-1.69.0 https://github.com/boostorg/boost.git RUN git clone --depth 1 https://github.com/google/libprotobuf-mutator.git RUN git clone --branch="v0.4.0" --recurse-submodules \ https://github.com/ethereum/evmone.git -RUN git clone --branch="z3-4.8.7" https://github.com/Z3Prover/z3.git # Install statically built dependencies in "/usr" directory # Install boost @@ -62,12 +61,4 @@ RUN cd $SRC/evmone; \ ninja; \ ninja install; -# Install Z3 -RUN cd $SRC/z3; \ - mkdir -p build; \ - cd build; \ - LDFLAGS=$CXXFLAGS cmake -DZ3_BUILD_LIBZ3_SHARED=OFF -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release ..; \ - make libz3 -j; \ - make install; - COPY build.sh $SRC/