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: |