CI: install gmp on macos

thvnx · May 13, 2024 · ad77759 · ad77759
1 parent f69644f
commit ad77759
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -23,6 +23,9 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
+      - if: matrix.platform == 'macos-latest'
+        run: brew install gmp
+
       - name: Build mpfr from sources
         run: |
           wget --no-check-certificate https://www.mpfr.org/mpfr-4.2.1/mpfr-4.2.1.tar.gz