cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7212 from ethereum/removeSharedZ3Docker

Browse Source 
Remove the shared Z3 build from the testing Dockerfile.
This commit is contained in:
Daniel Kirchner 2019-08-13 10:54:49 +02:00 committed by GitHub
commit 05940ef64a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.circleci/docker/Dockerfile.ubuntu1904
View File

@ -46,16 +46,6 @@ RUN set -ex; \
FROM base AS libraries FROM base AS libraries
# Z3
RUN set -ex; \
git clone --depth=1 --branch="Z3-4.8.5" https://github.com/Z3Prover/z3.git /usr/src/z3; \
mkdir /usr/src/z3/build; \
cd /usr/src/z3/build; \
cmake -DCMAKE_BUILD_TYPE="Release" -DCMAKE_INSTALL_PREFIX="/usr" -G "Ninja" ..; \
ninja; \
ninja install/strip; \
rm -rf /usr/src/z3
# OSSFUZZ: libprotobuf-mutator # OSSFUZZ: libprotobuf-mutator
RUN set -ex; \ RUN set -ex; \
git clone https://github.com/google/libprotobuf-mutator.git \ git clone https://github.com/google/libprotobuf-mutator.git \

2
cmake/toolchains/libfuzzer.cmake
View File

@ -1,2 +1,2 @@
# Require libfuzzer specific flags # Require libfuzzer specific flags
set(CMAKE_CXX_FLAGS "-O1 -gline-tables-only -fsanitize=address -fsanitize-address-use-after-scope -fsanitize=fuzzer-no-link -stdlib=libstdc++") set(CMAKE_CXX_FLAGS "-O1 -gline-tables-only -fsanitize=address -fsanitize-address-use-after-scope -fsanitize=fuzzer-no-link -stdlib=libstdc++ -fopenmp=libgomp")