Work around issue with brew and opam (#1989)

Work around ocaml/opam-repository#26891 (comment)
mit-plv · Nov 21, 2024 · a16b32f · a16b32f
1 parent f6ce925
commit a16b32f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -49,6 +49,13 @@ jobs:
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
+    - name: Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516
+      run: |
+        # Alternative: brew update; brew upgrade; brew install pkgconf
+        brew unlink pkg-config
+        brew install pkgconf
+        brew unlink pkgconf
+        brew link pkg-config
     - name: Install system dependencies
       run: brew install gnu-time gnu-sed coreutils grep
     - run: opam update