From 371099432a4605bc24a2c5020838e2df52a7b931 Mon Sep 17 00:00:00 2001
From: "xavier.leroy" <xavier.leroy@college-de-france.fr>
Date: Tue, 3 Dec 2024 14:56:10 +0100
Subject: [PATCH] Work around broken Homebrew binary package for Menhir

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cdc800d6e0..eb06a7c5c4 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -55,7 +55,9 @@ jobs:
         with:
           submodules: true
       - name: OS dependencies
-        run: brew install coq menhir ocaml
+        run: |
+          brew install coq ocaml
+          brew install --build-from-source menhir  # temporary workaround
       - name: Configure
         run: tools/runner.sh configure
       - name: Build