Fixing workflows/macos-build.yml

marekpiotrow · Apr 28, 2024 · 721c505 · 721c505
1 parent 0d439e3
commit 721c505
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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