Install setuptools in Dockerfile (#165)

moves-rwth · May 23, 2024 · 598dbad · 598dbad
1 parent 5c9028c
commit 598dbad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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
 ##############