From a637b56e8a1453f76ccd4cb1ac014d43d5baffc3 Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Thu, 23 May 2024 17:35:15 +0200
Subject: [PATCH] Install setuptools in Dockerfile

---
 .github/workflows/Dockerfile.stable | 1 +
 Dockerfile                          | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/Dockerfile.stable b/.github/workflows/Dockerfile.stable
index 77a9d8552..7a88c5917 100644
--- a/.github/workflows/Dockerfile.stable
+++ b/.github/workflows/Dockerfile.stable
@@ -60,6 +60,7 @@ ENV VIRTUAL_ENV=/opt/venv
 RUN python3 -m venv $VIRTUAL_ENV
 ENV PATH="$VIRTUAL_ENV/bin:$PATH"
 
+RUN pip install setuptools
 
 # Build pycarl
 ##############
diff --git a/Dockerfile b/Dockerfile
index 6180f0180..ba5920cf7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -62,6 +62,7 @@ ENV VIRTUAL_ENV=/opt/venv
 RUN python3 -m venv $VIRTUAL_ENV
 ENV PATH="$VIRTUAL_ENV/bin:$PATH"
 
+RUN pip install setuptools
 
 # Build pycarl
 ##############