add version to wheel filename for pip>=24.1

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" ]

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

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

docker/dreal4/Dockerfile.dreal4

@@ -71,10 +71,11 @@ RUN cd /dreal4 \
       && bazel build //:archive \
       && tar xfz bazel-bin/archive.tar.gz --strip-components 3 -C /usr \
 # Install Python3 Binding
-      && pip3 install wheel \
+      && pip3 install --upgrade wheel \
+      && pip3 install --upgrade setuptools \
       && 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-$(python 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 \