From 552a53686cd5dadb755c15db52e2c3f195f679da Mon Sep 17 00:00:00 2001 From: Willem Deconinck Date: Thu, 25 Jan 2024 11:50:45 +0100 Subject: [PATCH] Github Actions: try fix macOS MPI hosts --- .github/tools/install-mpi.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/tools/install-mpi.sh b/.github/tools/install-mpi.sh index 03a5e3a35..c5c1847ae 100755 --- a/.github/tools/install-mpi.sh +++ b/.github/tools/install-mpi.sh @@ -62,6 +62,8 @@ case "$os" in openmpi) brew ls --versions openmpi || brew install openmpi echo "localhost slots=72" >> $(brew --prefix)/etc/openmpi-default-hostfile + echo "localhost slots=72" >> $(brew --prefix)/etc/prte-default-hostfile + # workaround for open-mpi/omp#7516 echo "setting the mca gds to hash..." echo "gds = hash" >> $(brew --prefix)/etc/pmix-mca-params.conf