From 721c505d825056e00a3b01e458a909a2c13f9fca Mon Sep 17 00:00:00 2001
From: M Piotrow <marek.piotrow@cs.uni.wroc.pl>
Date: Sun, 28 Apr 2024 11:44:15 +0200
Subject: [PATCH] Fixing workflows/macos-build.yml

---
 .github/workflows/macos-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml
index c439f7d..11ec897 100644
--- a/.github/workflows/macos-build.yml
+++ b/.github/workflows/macos-build.yml
@@ -42,5 +42,5 @@ jobs:
       run: |
         USESCIP= make clean
         sed -i '' 's/BIGWEIGHTS?=#/BIGWEIGHTS?=/' config.mk
-        USESCIP= make r
+        USESCIP= CXXFLAGS=$(pkg-config --cflags gmp) LDFLAGS=$(pkg-config --libs gmp) make r
         build/release/bin/uwrmaxsat -of Examples/stein27_bignum.opb