fix docker build

siftech · Aug 2, 2024 · 99a97ab · 99a97ab
1 parent b39ba9a
commit 99a97ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
@@ -47,6 +47,6 @@ RUN pip install --no-cache-dir fastapi>=0.103.1
 RUN pip install --no-cache-dir --upgrade setuptools pip
 RUN pip install --no-cache-dir wheel
 
-RUN pip install /dreal4/dreal-*.whl
+# RUN pip install /dreal4/dreal-*.whl
 
 CMD [ "/bin/bash" ]
diff --git a/docker/dev/user/Dockerfile b/docker/dev/user/Dockerfile
@@ -69,7 +69,7 @@ WORKDIR /home/$UNAME
 RUN pip install --no-cache-dir z3-solver
 RUN pip install --no-cache-dir graphviz
 
-RUN pip install /dreal4/dreal-*.whl
+# RUN pip install /dreal4/dreal-*.whl
 
 # Install funman dev packages
 COPY --chown=$UID:$GID . funman