summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLarry Knox <lrknox@hdfgroup.org>2022-11-28 19:20:24 (GMT)
committerGitHub <noreply@github.com>2022-11-28 19:20:24 (GMT)
commitcf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d (patch)
treed4f7ede2ce594ca96cbf61b6c25f175ed539e29b
parent158dff6b503436e275777d293c0bfc1d9714eaa0 (diff)
downloadhdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.zip
hdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.tar.gz
hdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.tar.bz2
Develop fix ubuntu 22.04 openmpi install on github (#2268)
* Update install openmpi-bin to also install mpi-default-dev instead of libopenmpi-dev. This according to https://bugs.launchpad.net/ubuntu/+source/openmpi/+bug/1870780.
-rw-r--r--.github/workflows/main.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 473a137..96e2c83 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -347,7 +347,7 @@ jobs:
run: |
sudo apt update
sudo apt install automake autoconf libtool libtool-bin
- sudo apt install openmpi-bin openmpi-common libopenmpi-dev
+ sudo apt install openmpi-bin openmpi-common mpi-default-dev
echo "CC=mpicc" >> $GITHUB_ENV
echo "FC=mpif90" >> $GITHUB_ENV
if: (matrix.generator == 'autogen') && (matrix.parallel == 'enable')