PyPi packaging #944
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
on: | |
release: | |
types: [published] | |
schedule: | |
- cron: '0 1 * * *' | |
workflow_dispatch: | |
name: PyPi packaging | |
jobs: | |
build_wheels: | |
name: ${{ matrix.name }}${{ matrix.gpl && ' (GPL)' || '' }} | |
runs-on: ${{ matrix.os }} | |
if: (github.repository == 'cvc5/cvc5') || (github.event_name != 'schedule') | |
strategy: | |
matrix: | |
name: | |
- manylinux-x86_64 | |
- manylinux-aarch64 | |
- macos-x86_64 | |
- macos-arm64 | |
- windows-x86_64 | |
gpl: [false, true] | |
include: | |
- name: manylinux-x86_64 | |
os: ubuntu-latest | |
arch: x86_64 | |
shell: bash | |
- name: manylinux-aarch64 | |
os: ubuntu-latest | |
arch: aarch64 | |
shell: bash | |
- name: macos-x86_64 | |
os: macos-13 | |
macos-target: 10.13 | |
shell: bash | |
- name: macos-arm64 | |
os: macos-14 | |
macos-target: 11 | |
shell: bash | |
- name: windows-x86_64 | |
os: windows-latest | |
shell: 'msys2 {0}' | |
exclude: | |
- name: windows-x86_64 | |
gpl: true | |
defaults: | |
run: | |
shell: ${{ matrix.shell }} | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
fetch-depth: 0 | |
# Required by PEP-668 | |
- name: Set up Python virtual environment | |
if: runner.os == 'macOS' | |
run: | | |
python3 -m venv ~/.venv | |
echo "$HOME/.venv/bin" >> $GITHUB_PATH | |
# cibuildwheel only supports arm64 Linux wheels through emulation. | |
# It works fine, but it is slow. Cross-compilation is not supported yet, | |
# see: https://github.com/pypa/cibuildwheel/issues/598 | |
- name: Set up QEMU for arm64 Linux builds | |
if: runner.os == 'Linux' && matrix.arch == 'aarch64' | |
uses: docker/setup-qemu-action@v3 | |
with: | |
platforms: "linux/arm64" | |
- uses: msys2/setup-msys2@v2 | |
if: runner.os == 'Windows' | |
with: | |
msystem: mingw64 | |
path-type: inherit | |
install: | | |
make | |
mingw-w64-x86_64-cmake | |
mingw-w64-x86_64-gcc | |
mingw-w64-x86_64-gmp | |
# cibuildwheel requires pyproject.toml to be present from the beginning | |
- name: Create pyproject.toml | |
run: | | |
echo "::group::Create pyproject.toml" | |
mkdir -p build/src/api/python | |
if [ "${{ matrix.gpl }}" == "true" ]; then | |
sed -e 's/^name="cvc5"$/name="cvc5-gpl"/' \ | |
-e 's/^license = {text = "/license = {text = "GPL-2.0-or-later AND GPL-3.0-or-later AND /' \ | |
./src/api/python/pyproject.toml > ./build/src/api/python/pyproject.toml | |
else | |
cp src/api/python/pyproject.toml build/src/api/python/ | |
fi | |
echo "::endgroup::" | |
- name: Store MinGW64 path | |
if: runner.os == 'Windows' | |
id: mingw64-path | |
shell: msys2 {0} | |
run: echo "bin=$(cygpath -m $(dirname $(which gcc)))" >> $GITHUB_OUTPUT | |
- name: Build wheels | |
uses: pypa/[email protected] | |
with: | |
package-dir: ./build/src/api/python/ | |
env: | |
CIBW_SKIP: "cp36-* pp*-win* *-win32 *-manylinux_i686 *-musllinux_*" | |
CIBW_ARCHS_LINUX: "${{ matrix.arch }}" | |
CIBW_BEFORE_ALL_LINUX: bash ./contrib/cibw/before_all_linux.sh ${{ matrix.gpl }} | |
CIBW_BEFORE_ALL_MACOS: bash ./contrib/cibw/before_all_macos.sh ${{ matrix.gpl }} | |
CIBW_BEFORE_ALL_WINDOWS: msys2 -c "./contrib/cibw/before_all_windows.sh ${{ matrix.gpl }}" | |
# Use delvewheel on windows | |
CIBW_BEFORE_BUILD_WINDOWS: "pip install delvewheel" | |
CIBW_REPAIR_WHEEL_COMMAND_WINDOWS: > | |
delvewheel repair -w {dest_dir} {wheel} --add-path "${{ github.workspace }}\install\bin;${{ steps.mingw64-path.outputs.bin }}" | |
CIBW_ENVIRONMENT_LINUX: > | |
LD_LIBRARY_PATH="$(pwd)/install/lib64:$LD_LIBRARY_PATH" | |
CIBW_ENVIRONMENT_MACOS: > | |
DYLD_LIBRARY_PATH="$(pwd)/install/lib:$DYLD_LIBRARY_PATH" | |
MACOSX_DEPLOYMENT_TARGET=${{ matrix.macos-target }} | |
# - uses: actions/upload-artifact@v4 | |
# with: | |
# name: wheels-${{ matrix.name }} | |
# path: ./wheelhouse/*.whl | |
- name: Install software for publishing the wheels | |
run: | | |
python3 -m pip install twine | |
- name: Upload wheels to pypi.org | |
if: ${{ github.event_name == 'release' }} | |
env: | |
TWINE_USERNAME: __token__ | |
TWINE_PASSWORD: ${{ secrets.PYPI_TOKEN }} | |
run: | | |
echo "::group::Upload to pypi.org" | |
for wheel in `ls ./wheelhouse/*.whl` | |
do | |
twine upload $wheel | |
done | |
echo "::endgroup::" | |
- name: Upload wheels to test.pypi.org | |
if: false | |
env: | |
TWINE_USERNAME: __token__ | |
TWINE_PASSWORD: ${{ secrets.PYPI_TOKEN }} | |
run: | | |
echo "::group::Upload to test.pypi.org" | |
for wheel in `ls ./wheelhouse/*.whl` | |
do | |
twine upload --repository testpypi $wheel | |
done | |
echo "::endgroup::" |