From ad67a504acba405a270a48e94b6c8e0d07129088 Mon Sep 17 00:00:00 2001
From: Christian Heitman <cheitman@quarkslab.com>
Date: Wed, 11 Dec 2024 16:01:53 -0300
Subject: [PATCH] Update macos workflow

---
 .github/workflows/osx.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
index 8fbb4b34d..145441c5b 100644
--- 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: |