Skip to content

Commit

Permalink
Update python wheel docker file and build script
Browse files Browse the repository at this point in the history
  • Loading branch information
cnheitman committed Sep 13, 2023
1 parent b18e461 commit 357f372
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
4 changes: 2 additions & 2 deletions src/scripts/docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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" && \
Expand Down
10 changes: 5 additions & 5 deletions src/scripts/docker/build-wheel-linux.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
#
Expand Down Expand Up @@ -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'])")

Expand All @@ -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'])")

Expand All @@ -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'])")

Expand All @@ -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'])")

Expand Down

0 comments on commit 357f372

Please sign in to comment.