From cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d Mon Sep 17 00:00:00 2001 From: Larry Knox Date: Mon, 28 Nov 2022 13:20:24 -0600 Subject: 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. --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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') -- cgit v0.12