fix docker build

siftech · Aug 2, 2024 · b39ba9a · b39ba9a
1 parent 5d42505
commit b39ba9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/dev/root/Dockerfile.root b/docker/dev/root/Dockerfile.root
@@ -61,7 +61,7 @@ WORKDIR /root
 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 . funman