From b41607536e808dc8ac70e15da2c49ff5bf512dca Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 19 Jul 2024 00:52:10 +0200
Subject: [PATCH] Let's make it work for mac as well

---
 .github/workflows/python-wheel-build.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml
index b732ddca3..15e1a6757 100644
--- a/.github/workflows/python-wheel-build.yml
+++ b/.github/workflows/python-wheel-build.yml
@@ -24,8 +24,15 @@ jobs:
       - name: Build wheels
         run: python -m cibuildwheel --output-dir wheelhouse
         env:
+          # yum install -y gmp-devel glibc-devel &&
           CIBW_BEFORE_ALL: >
-            yum install -y gmp-devel glibc-devel &&
+            wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz &&
+            tar xf gmp-6.3.0.tar.xz &&
+            cd gmp-6.3.0 &&
+            ./configure --enable-static -enable-cxx --enable-shared &&
+            make -j8 &&
+            make install &&
+            cd ..
             git clone https://github.com/meelgroup/cadical.git &&
             cd cadical &&
             git checkout add_dynamic_lib &&