CI: Download exprtk from GitHub

innFactory · Jan 24, 2025 · 00dadbb · 00dadbb
1 parent 4ac60a5
commit 00dadbb
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