Update macos workflow

cnheitman · Dec 11, 2024 · ad67a50 · ad67a50
1 parent 1c791f6
commit ad67a50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -31,9 +31,9 @@ jobs:
           unzip z3-4.8.17-x64-osx-10.16.zip
           sudo python -m pip install z3-solver==4.8.17.0
 
-      - name: Install Ninja
+      - name: Install Deps
         run: |
-          brew install ninja
+          brew install gmp pkgconfig ninja
 
       - name: Install Meson
         run: |