From ba056cec0c20a433645c48b5adf4fb07a3cb4643 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-No=C3=ABl=20Grad?= <jgrad@icp.uni-stuttgart.de>
Date: Mon, 13 Apr 2026 18:27:05 +0200
Subject: [PATCH] Upgrade CMake

---
 docker/Dockerfile-ubuntu | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/Dockerfile-ubuntu b/docker/Dockerfile-ubuntu
index 664a402..db6fe8e 100644
--- a/docker/Dockerfile-ubuntu
+++ b/docker/Dockerfile-ubuntu
@@ -113,6 +113,7 @@ RUN cd "${HOME}" && \
     pep8==1.7.1 \
     autopep8==2.1.0 \
     pycodestyle==2.11.1 \
+    cmake==4.2.3 \
     sphinx-toggleprompt==0.5.2 && \
   jupyter_config_root=$(jupyter --paths --json | jq -r ".config[0]") && \
   mkdir -p "${jupyter_config_root}" && \