x

leanprover · Feb 7, 2025 · 3064ef1 · 3064ef1
1 parent 916b5fc
commit 3064ef1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/make-wheel b/bin/make-wheel
@@ -23,7 +23,7 @@ if [ -z "${GITHUB_RUN_ID+x}" ]; then
 else
   # https://github.com/pypa/cibuildwheel
   echo "Building wheel via GitHub Actions"
-  python -m cibuildwheel --output-dir $WHEEL_DIR/wheelhouse
+  python -m cibuildwheel --output-dir $ROOT/wheelhouse
 fi
 
 # To upload the wheel, with the proper token in ~/.pypirc, run

diff --git a/interop/pyproject.toml b/interop/pyproject.toml
@@ -30,7 +30,7 @@ testpaths = [
 # NB: All this setuptools stuff took about 1000 hours to figure out so never delete this.
 [tool.setuptools]
 # This makes it ok for there to be both klr and wheelhouse (where we generates wheels on github actions) in the same directory
-packages = ["klr"]
+#packages = ["klr"]
 # This tricks setuptools into knowing this is a binary wheel
 ext-modules = [
   {name = "klr", sources = []}