File tree Expand file tree Collapse file tree 2 files changed +2
-8
lines changed Expand file tree Collapse file tree 2 files changed +2
-8
lines changed Original file line number Diff line number Diff line change 16
16
17
17
FROM gcr.io/oss-fuzz-base/base-builder
18
18
RUN apt-get update && apt-get install -y cmake libgc-dev pkg-config
19
- # install Catch2 from sources, since Ubuntu 20.04 (currently the base for
20
- # this image) does not ship it
21
- RUN git clone -b v2.x --depth 1 https://github.com/catchorg/Catch2.git && \
22
- cd Catch2 && \
23
- cmake -DCATCH_BUILD_TESTING=OFF -DCATCH_BUILD_EXAMPLES=OFF -DCATCH_ENABLE_COVERAGE=OFF -DCATCH_ENABLE_WERROR=OFF -DCATCH_INSTALL_DOCS=OFF -DCATCH_INSTALL_HELPERS=OFF -Bbuild && \
24
- cmake --build build && \
25
- cmake --build build --target install
26
19
RUN git clone --depth 1 https://github.com/arximboldi/immer.git immer
27
20
WORKDIR immer
28
21
COPY build.sh $SRC/
Original file line number Diff line number Diff line change @@ -20,7 +20,8 @@ mkdir build
20
20
cd build
21
21
cmake .. \
22
22
-DBOEHM_GC_INCLUDE_DIR=/usr/include \
23
- -DBOEHM_GC_LIBRARIES=/usr/lib/x86_64-linux-gnu/libgc.a
23
+ -DBOEHM_GC_LIBRARIES=/usr/lib/x86_64-linux-gnu/libgc.a \
24
+ -Dimmer_BUILD_TESTS=OFF
24
25
make -j$( nproc) fuzzers
25
26
26
27
for fuzzer in extra/fuzzer/* ; do
You can’t perform that action at this time.
0 commit comments