Merge pull request OSGeo#11712 from dbaston/ci-exprtk-github

CI: Download exprtk from GitHub
innFactory · Jan 24, 2025 · d7d4f6a · d7d4f6a
2 parents a9854d1 + 00dadbb
commit d7d4f6a
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/ubuntu_20.04/Dockerfile.ci b/.github/workflows/ubuntu_20.04/Dockerfile.ci
@@ -276,9 +276,7 @@ RUN if test "${OPENDRIVE_VERSION}" != ""; then ( \
     ); fi
 
 # Install exprtk
-RUN wget -q https://www.partow.net/downloads/exprtk.zip && \
-    unzip -j -d /usr/local/include exprtk.zip exprtk/exprtk.hpp && \
-    rm exprtk.zip
+RUN wget -q -P /usr/local/include https://raw.githubusercontent.com/ArashPartow/exprtk/refs/heads/master/exprtk.hpp 
 
 RUN ldconfig