Try compiling C++ libs only once

.github/workflows/cibuildwheel.yml

@@ -68,10 +68,12 @@ jobs:
             java-1.8.0-openjdk-devel \
             glibc-static \
             libstdc++-static
+          bash {project}/ci-scripts/cibw-build-before.sh
         CIBW_BEFORE_ALL_MACOS: |
           brew update
           brew install gperf ninja
           brew install SRI-CSL/sri-csl/libpoly
+          bash {project}/ci-scripts/cibw-build-before.sh
         CIBW_BEFORE_BUILD: >
           python3 -m pip install \
             Cython \
@@ -81,7 +83,6 @@ jobs:
             setuptools \
             toml \
             wheel
-          bash {project}/ci-scripts/cibw-build-before.sh
         CIBW_ENVIRONMENT_MACOS: >
           DYLD_LIBRARY_PATH="$(pwd)/install/lib:$DYLD_LIBRARY_PATH"
           MACOSX_DEPLOYMENT_TARGET=${{ matrix.macos-target }}

ci-scripts/cibw-build-before.sh

@@ -16,18 +16,23 @@
 
 set -e
 
-# Find the Python root directory for the current Python version
-# This is important for the manylinux infrastructure, which is in
-# a nonstandard location that CMake has trouble finding
-PYTHON_EXECUTABLE=$(which python3)
-echo "Using Python_EXECUTABLE: ${PYTHON_EXECUTABLE}"
+python3 -m venv ./build-cpp-env
+source ./build-cpp-env/bin/activate
+python3 -m pip install \
+Cython \
+meson \
+pyparsing \
+pytest \
+setuptools \
+toml \
+wheel
 
 ./contrib/setup-bitwuzla.sh
 # the version of ld.gold is too old in manylinux_2_28, remove it so cvc5 falls back on bfd
 rm -f /usr/bin/ld.gold
 ./contrib/setup-cvc5.sh
 ./contrib/setup-z3.sh
 
-./configure.sh --bitwuzla --cvc5 --z3 --python --python-executable=${PYTHON_EXECUTABLE}
+./configure.sh --bitwuzla --cvc5 --z3 --python
 cd build
 make -j