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