Update wheel build script for linux

cnheitman · Nov 1, 2023 · 5c25992 · 5c25992
1 parent e57e4ea
commit 5c25992
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/scripts/docker/Dockerfile b/src/scripts/docker/Dockerfile
@@ -41,9 +41,10 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     git clone https://github.com/bitwuzla/bitwuzla.git && \
     cd bitwuzla && \
     git checkout -b 0.2.0 0.2.0 && \
-    CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.13/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \
+    export PY310_PATH=$(dirname $(realpath -L $(which python3.10))) && \
+    CC=clang CXX=clang++ PATH=$PATH:$PY310_PATH python3.10 ./configure.py --shared --prefix $(pwd)/install && \
     cd build && \
-    PATH=$PATH:/opt/_internal/cpython-3.10.13/bin ninja -j $(nproc) install
+    PATH=$PATH:$PY310_PATH ninja -j $(nproc) install
 
 # Download Z3.
 RUN echo "[+] Download Z3" && \