Merge pull request #1428 from cctv130/dev-v1.0

fix github action

Author: JonathanSalwan

.github/workflows/codecov.yml

@@ -49,7 +49,6 @@ jobs:
         run: |
           git clone https://github.com/bitwuzla/bitwuzla.git
           cd bitwuzla
-          git checkout -b 0.7.0 0.7.0
           python ./configure.py --shared
           cd build
           sudo ninja install

.github/workflows/linux.yml

@@ -52,7 +52,6 @@ jobs:
         run: |
           git clone https://github.com/bitwuzla/bitwuzla.git
           cd bitwuzla
-          git checkout -b 0.7.0 0.7.0
           python ./configure.py --shared
           cd build
           sudo ninja install

.github/workflows/osx.yml

@@ -43,7 +43,6 @@ jobs:
         run: |
           git clone https://github.com/bitwuzla/bitwuzla.git
           cd bitwuzla
-          git checkout -b 0.7.0 0.7.0
           python ./configure.py --shared --prefix $(pwd)/install
           cd build
           sudo ninja install

Dockerfile

@@ -56,7 +56,6 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     cd /tmp && \
     git clone https://github.com/bitwuzla/bitwuzla.git && \
     cd bitwuzla && \
-    git checkout -b 0.4.0 0.4.0 && \
     python3 ./configure.py --shared && \
     cd build && \
     ninja -j$(nproc) install

src/scripts/docker/Dockerfile

@@ -30,7 +30,6 @@ RUN echo "[+] Download, build and install Bitwuzla" && \
     cd $DEPENDENCIES_DIR && \
     git clone https://github.com/bitwuzla/bitwuzla.git && \
     cd bitwuzla && \
-    git checkout -b 0.7.0 0.7.0 && \
     export PY310_PATH=$(python3.10 -c 'import sys, os; print(os.path.dirname(sys.executable))') && \
     CC=clang CXX=clang++ PATH=$PATH:$PY310_PATH python3.10 ./configure.py --shared --prefix $(pwd)/install && \
     cd build && \

src/scripts/docker/build-wheel-linux.sh

@@ -91,7 +91,7 @@ echo "[+] Build Triton wheel package for Python 3.13"
 cd $SOURCE_DIR
 rm -rf $SOURCE_DIR/build
 rm -rf $SOURCE_DIR/triton_library.egg-info
-export PYTHON_BINARY=/opt/_internal/cpython-3.13.5/bin/python
+export PYTHON_BINARY=$(ls -d /opt/_internal/cpython-3.13.*/bin/python | sort | head -n1)
 export PYTHON_INCLUDE_DIRS=$($PYTHON_BINARY -c "from sysconfig import get_paths; print(get_paths()['include'])")
 export PYTHON_LIBRARY=$($PYTHON_BINARY -c "from sysconfig import get_paths; print(get_paths()['include'])")