From a3166887d2910d6769d2b2942e1aa113ffbb2f5b Mon Sep 17 00:00:00 2001 From: Matthew Printz Date: Wed, 2 Oct 2024 14:32:31 -0500 Subject: [PATCH] Update Dockerfile.dreal4 Fix version string in wheel file --- docker/dreal4/Dockerfile.dreal4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/dreal4/Dockerfile.dreal4 b/docker/dreal4/Dockerfile.dreal4 index ea6dbce1..bc67effd 100644 --- a/docker/dreal4/Dockerfile.dreal4 +++ b/docker/dreal4/Dockerfile.dreal4 @@ -74,7 +74,7 @@ RUN cd /dreal4 \ && pip3 install wheel \ && pip3 install --upgrade pip \ && python3 setup.py bdist_wheel \ - && DREAL_WHEEL=dreal-*-cp38-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl \ + && DREAL_WHEEL=dreal-$(python3 setup.py --version)-cp38-none-manylinux_$(ldd --version | grep '^ldd' | sed -E 's/^ldd.*([0-9]+)\.([0-9]+)$/\1_\2/')_$(arch).whl \ && cp ./dist/$DREAL_WHEEL /tmp/$DREAL_WHEEL \ && pip3 install ./dist/$DREAL_WHEEL \ && bazel clean --expunge \