updated mpi

UDC-GAC · Mar 13, 2023 · 41b0e7d · 41b0e7d
1 parent 6363fe4
commit 41b0e7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/prep.ubuntu.sh b/.github/scripts/prep.ubuntu.sh
@@ -4,7 +4,7 @@
 sudo apt-get -o Acquire::ForceIPv4=true update -qq 1>/dev/null
 sudo apt-get -o Acquire::ForceIPv4=true upgrade -qq 1>/dev/null
 sudo apt-get -o Acquire::ForceIPv4=true install \
-    gcc-10 g++-10 cmake libomp-dev openmpi-bin libopenmpi4 libopenmpi-dev -qq 1>/dev/null
+    gcc-10 g++-10 cmake libomp-dev openmpi-bin libopenmpi3 libopenmpi-dev -qq 1>/dev/null
 
 # Fix openmpi complaining about not having enough slots
 OPENMPI_HOSTFILE=/etc/openmpi/openmpi-default-hostfile