Work around broken Homebrew binary package for Menhir

AbsInt · Dec 3, 2024 · 3710994 · 3710994
1 parent 8408602
commit 3710994
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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