Install libopenmpi-dev for mpi-hs.

2026-01-11 23:08:30 +01:00 · 2024-01-29 20:24:30 +01:00 · 2024-01-29 20:24:30 +01:00 · 3b74e0f275
commit 3b74e0f275
parent 32507abb37
1 changed files with 1 additions and 0 deletions
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@ -91,6 +91,7 @@ apt-get install -y \
    libnotify-dev \
    liboath-dev \
    libopenal-dev \
+    libopenmpi-dev \
    libpango1.0-dev \
    libpcap0.8-dev \
    libpcre2-dev \