Add pytest to gigahorse deps docker images

nevillegrech · Aug 23, 2024 · f07b7b8 · f07b7b8
1 parent ae52bfd
commit f07b7b8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/docker/dependencies/souffle23/Dockerfile b/docker/dependencies/souffle23/Dockerfile
@@ -37,4 +37,8 @@ RUN apt-get update && apt-get install -y libssl-dev
 RUN apt-get update && apt-get install -y libz3-dev
 RUN apt-get update && apt-get install -y z3
 
+RUN python3 -m pip install --upgrade pip
+RUN python3 -m pip install pytest
+
 RUN souffle --version
+RUN python3  --version
diff --git a/docker/dependencies/souffle24/Dockerfile b/docker/dependencies/souffle24/Dockerfile
@@ -37,4 +37,8 @@ RUN apt-get update && apt-get install -y libssl-dev
 RUN apt-get update && apt-get install -y libz3-dev
 RUN apt-get update && apt-get install -y z3
 
+RUN python3 -m pip install --upgrade pip
+RUN python3 -m pip install pytest
+
 RUN souffle --version
+RUN python3 --version