diff --git a/src/scripts/docker/Dockerfile b/src/scripts/docker/Dockerfile index b55936f8c..107838a80 100644 --- a/src/scripts/docker/Dockerfile +++ b/src/scripts/docker/Dockerfile @@ -35,9 +35,9 @@ RUN echo "[+] Download, build and install Bitwuzla" && \ git clone https://github.com/bitwuzla/bitwuzla.git && \ cd bitwuzla && \ git checkout -b 0.1.0 0.1.0 && \ - CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.12/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \ + CC=clang CXX=clang++ PATH=$PATH:/opt/_internal/cpython-3.10.13/bin python3.10 ./configure.py --shared --prefix $(pwd)/install && \ cd build && \ - PATH=$PATH:/opt/_internal/cpython-3.10.12/bin ninja install + PATH=$PATH:/opt/_internal/cpython-3.10.13/bin ninja install # Download Z3. RUN echo "[+] Download Z3" && \ diff --git a/src/scripts/docker/build-wheel-linux.sh b/src/scripts/docker/build-wheel-linux.sh index 065849111..9855c2a01 100755 --- a/src/scripts/docker/build-wheel-linux.sh +++ b/src/scripts/docker/build-wheel-linux.sh @@ -5,7 +5,7 @@ # 3.9, 3.10 and 3.11. It is used by the Build Python Package Github workflow but can # also be used locally by running: # -# $ docker pull quay.io/pypa/manylinux_2_24_x86_64 +# $ docker pull quay.io/pypa/manylinux_2_28_x86_64 # $ ./src/scripts/docker/build-docker-image.sh # $ docker run --rm -v $(pwd):/src build-triton-linux-x86_64 bash /src/src/scripts/docker/build-wheel-linux.sh # @@ -33,7 +33,7 @@ export CMAKE_PREFIX_PATH=$($DEPENDENCIES_DIR/clang+llvm-12.0.1-x86_64-linux-gnu- # Build Triton Python wheel package for Python 3.8. echo "[+] Build Triton wheel package for Python 3.8" cd $SOURCE_DIR -export PYTHON_BINARY=/opt/_internal/cpython-3.8.17/bin/python +export PYTHON_BINARY=/opt/_internal/cpython-3.8.18/bin/python 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'])") @@ -42,7 +42,7 @@ $PYTHON_BINARY -m build --wheel --outdir $WHEEL_DIR/linux_x86_64 # Build Triton Python wheel package for Python 3.9. echo "[+] Build Triton wheel package for Python 3.9" cd $SOURCE_DIR -export PYTHON_BINARY=/opt/_internal/cpython-3.9.17/bin/python +export PYTHON_BINARY=/opt/_internal/cpython-3.9.18/bin/python 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'])") @@ -51,7 +51,7 @@ $PYTHON_BINARY -m build --wheel --outdir $WHEEL_DIR/linux_x86_64 # Build Triton Python wheel package for Python 3.10. echo "[+] Build Triton wheel package for Python 3.10" cd $SOURCE_DIR -export PYTHON_BINARY=/opt/_internal/cpython-3.10.12/bin/python +export PYTHON_BINARY=/opt/_internal/cpython-3.10.13/bin/python 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'])") @@ -60,7 +60,7 @@ $PYTHON_BINARY -m build --wheel --outdir $WHEEL_DIR/linux_x86_64 # Build Triton Python wheel package for Python 3.11. echo "[+] Build Triton wheel package for Python 3.11" cd $SOURCE_DIR -export PYTHON_BINARY=/opt/_internal/cpython-3.11.4/bin/python +export PYTHON_BINARY=/opt/_internal/cpython-3.11.5/bin/python 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'])")