From 55135036a2cf04f3361b3d8772e29a9dd879254f Mon Sep 17 00:00:00 2001
From: Markus Hofauer <markus.hofbauer@tum.de>
Date: Wed, 17 Jul 2024 19:39:54 +0200
Subject: [PATCH] add curl

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 295ad0e..3a3660e 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,6 +7,7 @@ RUN apt-get update && \
     build-essential \
     cmake \
     wget \
+    curl \
     zip \
     git \
     doxygen \