Try installing python development files in manylinux

stanford-centaur · Feb 19, 2025 · 3db3d12 · 3db3d12
1 parent f41a23a
commit 3db3d12
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/cibuildwheel.yml b/.github/workflows/cibuildwheel.yml
@@ -78,11 +78,16 @@ jobs:
             glibc-devel \
             gmp-devel \
             java-1.8.0-openjdk-devel \
-            make
+            make \
+            python3-devel
 
           # Show what we installed for debugging
           gcc --version
           cmake --version
+
+          # Check Python development files
+          echo "Checking Python development files:"
+          ls -l /usr/include/python*
         CIBW_BEFORE_ALL_MACOS: |
           brew update
           brew install gperf ninja

diff --git a/ci-scripts/cibw_build_before.sh b/ci-scripts/cibw_build_before.sh
@@ -7,7 +7,6 @@
 ./contrib/setup-cvc5.sh
 ./contrib/setup-z3.sh
 
-source ./.venv/bin/activate
 ./configure.sh --bitwuzla --cvc5 --z3 --python --python-executable=$(which python3)
 cd build
 make -j