From 93f964c18d77127dd715cc342e7557f55b5f23df Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Fri, 30 Aug 2024 07:54:33 +0200
Subject: [PATCH] container: Only install dependencies

---
 util/container/Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/util/container/Dockerfile b/util/container/Dockerfile
index 230774b047..167b735ad8 100644
--- a/util/container/Dockerfile
+++ b/util/container/Dockerfile
@@ -163,7 +163,9 @@ RUN /opt/python/bin/python3 -m venv ${VIRTUAL_ENV}
 ENV PATH="${VIRTUAL_ENV}/bin:${PATH}"
 # Install Python requirements
 COPY pyproject.toml .
-RUN pip install .[docs]
+RUN pip install pip-tools
+RUN pip-compile --extra docs -o requirements.txt pyproject.toml
+RUN pip install -r requirements.txt
 
 # Add Verilator to PATH
 ENV PATH "/tools/verilator/bin:${PATH}"