Fixing workflows/macos-build.yml

marekpiotrow · Apr 28, 2024 · 5d65eba · 5d65eba
1 parent b1d226d
commit 5d65eba
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml
@@ -13,6 +13,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+    - name: install gmp
+      run: |
+        brew update
+        brew install gmp
     - name: build COMiniSatPS
       run: |
         cd ..