Test ci-macos (6)

daniel-larraz · May 22, 2024 · 139d415 · 139d415
1 parent ba09c1e
commit 139d415
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/actions/build-kind2-macos/action.yml b/.github/actions/build-kind2-macos/action.yml
@@ -31,8 +31,8 @@ runs:
       echo "::group::Set OCaml compiler variant"
       wget -qq https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh
       echo -ne "~/.local/bin\nY\nY\n" | sh install.sh
-      brew install gpatch
-      opam init --disable-sandboxing --yes --compiler ${{ steps.ocaml-variant.outputs.compiler }}
+      brew install gpatch zeromq
+      opam init --disable-sandboxing --shell-setup --yes --compiler ${{ steps.ocaml-variant.outputs.compiler }}
       echo "::endgroup::"
 
   - name: Install OCaml dependencies