From d51555a73989ff4d3cf94efe861e151c8265adb7 Mon Sep 17 00:00:00 2001 From: damienmulder Date: Thu, 6 Aug 2026 11:41:46 +0200 Subject: [PATCH] Use patched version for Mapserver 8.4.1 --- Dockerfile | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 849ad00..ff19f97 100644 --- a/Dockerfile +++ b/Dockerfile @@ -81,10 +81,20 @@ RUN tar xzvf gdal-${GDAL_VERSION}.tar.gz && \ cmake --build . && \ cmake --build . --target install -ENV MAPSERVER_VERSION="8.4.1" + +ENV MAPSERVER_VERSION="pdok-8-4-1-patch-1" RUN mkdir /usr/local/src/mapserver -RUN wget https://github.com/MapServer/MapServer/releases/download/rel-$(echo $MAPSERVER_VERSION | sed -e "s/\./-/g")/mapserver-${MAPSERVER_VERSION}.tar.gz -RUN tar -xf mapserver-8.*.tar.gz --strip-components 1 -C /usr/local/src/mapserver + +# For now we run our own patch version +RUN wget -O mapserver.tar.gz \ + https://github.com/PDOK/mapserver/archive/refs/tags/${MAPSERVER_VERSION}.tar.gz + +RUN tar -xzf mapserver.tar.gz --strip-components=1 -C /usr/local/src/mapserver + +# Use this when we want to build from the official MapServer release +# RUN wget https://github.com/MapServer/MapServer/releases/download/rel-$(echo $MAPSERVER_VERSION | sed -e "s/\./-/g")/mapserver-${MAPSERVER_VERSION}.tar.gz +# RUN tar -xf mapserver-8.*.tar.gz --strip-components 1 -C /usr/local/src/mapserver + RUN mkdir /usr/local/src/mapserver/build && \ cd /usr/local/src/mapserver/build && \ cmake ../ \