From e1f41d010896c9107ed9369d46b1d033703e1492 Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Sun, 10 May 2026 17:59:37 +0200 Subject: [PATCH] fix(ci): refresh apt cache before installing system deps + add libgsl-dev The workflow installs GEOS / PROJ / JSON-C from apt without first running 'apt-get update', so the GitHub Actions runner re-uses a stale cache from its base image and 404s when Azure's apt mirror retires older patch versions. Two changes: 1. Add 'apt-get update -qq' and consolidate the three separate 'apt-get install' steps into one with --no-install-recommends. 2. Add libgsl-dev. MobilityDB recently started requiring GSL (GNU Scientific Library); without it cmake fails with 'Could NOT find GSL' during the JMEOS workflow's MobilityDB build step. This is a CI infrastructure fix only; it doesn't change JMEOS itself. --- .github/workflows/maven.yml | 20 +++++++++----------- 1 file changed, 9 insertions(+), 11 deletions(-) diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 7d41c010..7be87167 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -45,17 +45,15 @@ jobs: - name: Print current working directory run: pwd - # Install GEOS library - - name: Install GEOS - run: sudo apt-get install -y libgeos-dev - - # Install PROJ library - - name: Install PROJ - run: sudo apt-get install proj-bin libproj-dev proj-data - - # Install JSON-C library - - name: Install JSON-C - run: sudo apt install libjson-c-dev + # Install system dependencies (GEOS, PROJ, JSON-C, GSL). Refresh + # apt cache first so the runner doesn't 404 on stale Azure-mirror + # state. GSL is required by MobilityDB; without it cmake fails + # with "Could NOT find GSL". + - name: Install system dependencies + run: | + sudo apt-get update -qq + sudo apt-get install -y --no-install-recommends \ + libgeos-dev proj-bin libproj-dev proj-data libjson-c-dev libgsl-dev # Fetch and install MEOS library - name: Fetch MEOS sources