CI: Install OpenMPI 5.0

eschnett · Nov 20, 2023 · 023962f · 023962f
1 parent e919835
commit 023962f
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 4 deletions.
diff --git a/.github/workflows/CI-mpiwrapper.yml b/.github/workflows/CI-mpiwrapper.yml
@@ -24,11 +24,14 @@ jobs:
     - name: Install ${{matrix.mpi}}
       run: |
         case "${{matrix.mpi}}" in
-            MPICH) packages=libmpich-dev;;
-            OpenMPI) packages=libopenmpi-dev;;
+            MPICH)
+                sudo apt-get update
+                sudo apt-get install $packages
+                ;;
+            OpenMPI)
+                ./install-openmpi.sh
+                ;;
         esac
-        sudo apt-get update
-        sudo apt-get install $packages
 
     - name: Configure
       run: |

diff --git a/.github/workflows/install-openmpi.sh b/.github/workflows/install-openmpi.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -euxo pipefail
+
+wget https://download.open-mpi.org/release/open-mpi/v5.0/openmpi-5.0.0.tar.bz2
+tar xzf openmpi-5.0.0.tar.bz2
+cd openmpi-5.0.0
+./configure
+make -j$(nproc)
+make install