Fixing again workflows/macos-build.yml

marekpiotrow · Apr 28, 2024 · 0d439e3 · 0d439e3
1 parent 3e4dc34
commit 0d439e3
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml
@@ -13,9 +13,6 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - name: install gmp
-      run: |
-        pkg-config gmp
     - name: build COMiniSatPS
       run: |
         cd ..
@@ -34,7 +31,7 @@ jobs:
     - name: build UWrMaxSat
       run: |
         make config
-        USESCIP= make r
+        USESCIP= CXXFLAGS=$(pkg-config --cflags gmp) LDFLAGS=$(pkg-config --libs gmp) make r
     - name: test executable
       run: |
         build/release/bin/uwrmaxsat -of Examples/unsat.opb