build.yml

# This workflow only runs for tags. It takes a lot of time to complete because
# it has to bundle Z3 statically into the final binary.
# Specifically, we:
#  - Build the library using static Z3 on linux/windows/macOS and upload the result to GitHub storage.
#  - Create a release package from the uploaded wheel files and push it to PyPI.
#  - Do the same thing for conda, but also for different versions of Python.
name: build
on:
  push:
    tags:
      - '*'
env:
  # A fixed version used for testing, so that the builds don't
  # spontaneously break after a few years.
  # Make sure to update this from time to time.
  RUST_VERSION: "1.84.0"
  # This is the version currently used by `z3-sys`.
  # If this ever changes, you might also need to increase
  # the minimum macOS version below.
  Z3_VERSION: "4.13.4"
  MACOS_TARGET: "11.0"
  PYTHON_VERSION: "3.12"

jobs:
  build-linux:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout.
        uses: actions/checkout@v4
      # On linux, everything is installed in the container,
      # so we don't really need any dependencies here.
      - name: Maturin build.
        uses: PyO3/maturin-action@v1
        with:
          target: x86_64
          container: daemontus/manylinux-aeon:latest                   
          args: "--release --features static-z3 --compatibility manylinux_2_28 --out=target/dist"
      - name: Upload wheels
        uses: actions/upload-artifact@v4
        with:
          name: wheels-linux
          path: target/dist

  build-macos:
    runs-on: macos-latest
    steps:
      - name: Checkout.
        uses: actions/checkout@v4
      - name: Setup Python.
        uses: actions/setup-python@v5
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
      - uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: ${{ env.RUST_VERSION }}
      # The considered version of z3 needs at least this version of macOS.
      - run: echo "MACOSX_DEPLOYMENT_TARGET=${{ env.MACOS_TARGET }}" >> $GITHUB_ENV
      - run: echo "CMAKE_OSX_DEPLOYMENT_TARGET=${{ env.MACOS_TARGET }}" >> $GITHUB_ENV
      - name: Maturin build.
        uses: PyO3/maturin-action@v1
        with:
          command: build
          args: "--release --target universal2-apple-darwin --features static-z3 --out=target/dist"
      - name: Upload wheels
        uses: actions/upload-artifact@v4
        with:
          name: wheels-macos
          path: target/dist

  build-windows:
    runs-on: windows-latest
    steps:
      - name: Checkout.
        uses: actions/checkout@v4
      - name: Setup Python.
        uses: actions/setup-python@v5
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
      - uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: ${{ env.RUST_VERSION }}
      # Surprisingly, windows is the easiest. Just build the thing.
      - name: Maturin build.
        uses: PyO3/maturin-action@v1
        with:
          target: x64
          args: "--release --features static-z3 --out=target/dist"
      - name: Upload wheels
        uses: actions/upload-artifact@v4
        with:
          name: wheels-windows
          path: target/dist

  release:
    name: Release
    runs-on: ubuntu-latest
    needs: [ build-macos, build-windows, build-linux ]
    steps:
      - uses: actions/download-artifact@v4
        with:
          pattern: wheels-*
          merge-multiple: 'true'
      - name: Publish to PyPI
        uses: PyO3/maturin-action@v1
        env:
          MATURIN_PYPI_TOKEN: ${{ secrets.PYPI_API_TOKEN }}
        with:
          command: upload
          args: --skip-existing *

  conda_deployment_with_new_tag:
    name: Conda deployment (${{ matrix.os }})
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        # For now, windows builds are broken...
        os: [macos-latest, ubuntu-latest]
        python: ["3.9", "3.10", "3.11", "3.12"]

    steps:
      - uses: actions/checkout@v4
      - name: Conda environment creation and activation
        uses: conda-incubator/setup-miniconda@v3
        with:
          python-version: ${{ matrix.python }}
          environment-file: conda_env.yaml
          auto-update-conda: false
          auto-activate-base: false
          show-channel-urls: true
      - name: Build and upload the conda packages
        uses: uibcdf/action-build-and-upload-conda-packages@v1.4.0
        with:
          python-version: ${{ matrix.python }}
          meta_yaml_dir: "conda"
          user: daemontus
          label: main
          overwrite: false
          token: ${{ secrets.ANACONDA_TOKEN }}