From ad77759f75dd1b2b0f849729c75d1583956699c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Laurent=20Th=C3=A9venoux?= <lrnt@thvnx.com>
Date: Mon, 13 May 2024 22:04:53 +0200
Subject: [PATCH] CI: install gmp on macos

---
 .github/workflows/build.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cac2c9a..4071767 100644
--- 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