From fecd3d48178a3007a1b99509bcbc77cdc24b1721 Mon Sep 17 00:00:00 2001 From: Daniel Bryce Date: Mon, 9 Sep 2024 16:11:20 +0000 Subject: [PATCH] fix cp version for gihub build --- docker/base/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile index 2af880a8..9fa607f8 100644 --- a/docker/base/Dockerfile +++ b/docker/base/Dockerfile @@ -47,6 +47,6 @@ RUN pip install --no-cache-dir fastapi RUN pip install --no-cache-dir --upgrade setuptools pip RUN pip install --no-cache-dir wheel -RUN pip install /dreal4/dreal-4.21.6.2-cp310-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl +RUN pip install /dreal4/dreal-4.21.6.2-cp38-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl CMD [ "/bin/bash" ]