From 00dadbbc5440912f9ac959b4731a6ac2d260ddb2 Mon Sep 17 00:00:00 2001 From: Dan Baston Date: Fri, 24 Jan 2025 08:44:28 -0500 Subject: [PATCH] CI: Download exprtk from GitHub --- .github/workflows/ubuntu_20.04/Dockerfile.ci | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/ubuntu_20.04/Dockerfile.ci b/.github/workflows/ubuntu_20.04/Dockerfile.ci index d58dff8cb451..1cced8bce495 100644 --- 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