[CI] [opam] Work around MacOS / opam / brew issue

Work around ocaml/opam-repository#26891 (comment)
mit-plv · Nov 20, 2024 · 78208bd · 78208bd
1 parent c97b7a1
commit 78208bd
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -43,6 +43,14 @@ jobs:
       OPAMCONFIRMLEVEL: "unsafe-yes"
 
     steps:
+    - 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 link pkg-config
+      if: ${{ runner.os == 'macOS' }}
+
     - name: Set up OCaml
       uses: ocaml/setup-ocaml@v3
       with: