From 598dbad2fe7c0ef815d40e2539096edd7179908a Mon Sep 17 00:00:00 2001
From: Matthias Volk <volkm@users.noreply.github.com>
Date: Thu, 23 May 2024 18:04:22 +0200
Subject: [PATCH] Install setuptools in Dockerfile (#165)

---
 .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
 ##############