CI: Make a wheel

.github/workflows/ci.yml

@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: ["main"]
+    branches: ["**"] # For now, let's build all branches. Roll this back if it gets too slow or we exhaust our quota.
   pull_request:
     branches: ["**"] # * does not match '/'
   workflow_dispatch: # For manually triggering a build: https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch
@@ -41,3 +41,12 @@ jobs:
         working-directory: ./interop
         run: |
           pytest
+      - name: Make a wheel
+        # https://github.com/pypa/cibuildwheel
+        run: |
+          pip install cibuildwheel
+          bin/make-wheel
+      - uses: actions/upload-artifact@v4
+        with:
+          name: cibw-wheels-${{ matrix.os }}-${{ strategy.job-index }}
+          path: ./wheelhouse/*.whl

bin/make-wheel

@@ -16,7 +16,15 @@ cp $ROOT/interop/pyproject.toml $WHEEL_DIR
 cp $ROOT/interop/MANIFEST.in $WHEEL_DIR
 
 cd $WHEEL_DIR
-python -m build
+
+if [ -z "${GITHUB_RUN_ID+x}" ]; then
+  echo "Building wheel locally"
+  python -m build -w
+else
+  # https://github.com/pypa/cibuildwheel
+  echo "Building wheel via GitHub Actions"
+  python -m cibuildwheel --output-dir $WHEEL_DIR/wheelhouse
+fi
 
 # To upload the wheel, with the proper token in ~/.pypirc, run
 #

interop/MANIFEST.in

@@ -1 +1 @@
-include klr/bin/*
+include bin/*

interop/pyproject.toml

@@ -27,5 +27,15 @@ testpaths = [
   "test",
 ]
 
+[tool.setuptools]
+# Trick setuptools into knowing this is a binary wheel.
+# NB: This took about 1000 hours to figure out so never delete this.
+ext-modules = [
+  {name = "klr", sources = []}
+]
+
+[tool.setuptools.package-data]
+klr = ["bin/klr"]
+
 [project.urls]
 Repository = "https://github.com/leanprover/KLR"