docker: clean up python dependencies

All required python dependencies should be part of camkes-deps (which includes sel4-deps). If they are not, these packages should be updated. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2024 · 850646f · 850646f
1 parent 0484d72
commit 850646f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tools/Dockerfile b/tools/Dockerfile
@@ -16,8 +16,7 @@ RUN apt-get update -q \
         python3-pyelftools \
     && apt-get clean autoclean \
     && apt-get autoremove --yes \
-    && pip3 install setuptools \
-    && pip3 install aenum sortedcontainers pyyaml pyaml future camkes-deps \
+    && pip3 install setuptools camkes-deps \
     && rm -rf /var/lib/{apt,dpkg,cache,log}/
 
 # Init bundle dependencies