Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions projects/geos/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,4 @@ RUN apt-get update && apt-get install -y cmake
# fallback to github if main git server is not responding
RUN git clone --depth 1 https://git.osgeo.org/gitea/geos/geos.git || git clone --depth 1 https://github.com/libgeos/geos.git
COPY run_tests.sh build.sh $SRC/
COPY patch.diff $SRC
WORKDIR $SRC/geos
RUN git apply ../patch.diff
4 changes: 4 additions & 0 deletions projects/geos/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,3 +21,7 @@ cd build
cmake -DBUILD_SHARED_LIBS=OFF ..
make -j$(nproc)
cp bin/fuzz* $OUT/

# Seed corpus and dictionary for the GeoJSON reader fuzzer.
cp $SRC/geos/tests/fuzz/geojson.dict $OUT/fuzz_geojson.dict
zip -j $OUT/fuzz_geojson_seed_corpus.zip $SRC/geos/tests/fuzz/geojson_seed_corpus/*
105 changes: 0 additions & 105 deletions projects/geos/patch.diff

This file was deleted.