From 349a9837ac5cc48c7395ebc61d1e30e6a8a19df4 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sun, 31 May 2026 16:59:05 +0200 Subject: [PATCH 1/2] CI: install libarchive for wheels --- .github/workflows/before-all-linux.sh | 2 +- .github/workflows/before-all-macos.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/before-all-linux.sh b/.github/workflows/before-all-linux.sh index 6b9e2668b..618b1098a 100755 --- a/.github/workflows/before-all-linux.sh +++ b/.github/workflows/before-all-linux.sh @@ -6,7 +6,7 @@ set -e -u ginac_version=1.8.10 -dnf install -y boost-devel cln-devel gmp-devel glpk-devel hwloc-devel z3-devel xerces-c-devel eigen3-devel # missing ginac +dnf install -y boost-devel cln-devel glpk-devel gmp-devel hwloc-devel libarchive-devel xerces-c-devel z3-devel eigen3-devel # missing ginac-devel cd /tmp diff --git a/.github/workflows/before-all-macos.sh b/.github/workflows/before-all-macos.sh index 9f0c1bcdb..6f719b939 100755 --- a/.github/workflows/before-all-macos.sh +++ b/.github/workflows/before-all-macos.sh @@ -4,7 +4,7 @@ set -e -u -brew install ccache automake boost cln ginac glpk hwloc z3 xerces-c +brew install ccache automake boost cln ginac glpk gmp hwloc libarchive xerces-c z3 # Install Storm git clone https://github.com/stormchecker/storm.git -b ${STORM_VERSION} From 6cd6307a7d91848960021ca67142239ba5514a38 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sun, 31 May 2026 16:59:56 +0200 Subject: [PATCH 2/2] CI: change XCode version as latest lead to compile issue --- .github/workflows/create_wheel.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/create_wheel.yml b/.github/workflows/create_wheel.yml index 17787f85e..0f4eafc0a 100644 --- a/.github/workflows/create_wheel.yml +++ b/.github/workflows/create_wheel.yml @@ -63,7 +63,7 @@ jobs: deploy_target: 15.0 - os: macos-arm runs-on: macos-14 # macos-14+ (including latest) are ARM64 runners - xcode: latest-stable + xcode: 15.4 deploy_target: 14.0 fail-fast: false steps: