fix cp version for gihub build

siftech · Sep 9, 2024 · fecd3d4 · fecd3d4
1 parent df8a13b
commit fecd3d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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" ]