From a177dd55b363524027f67077eb3f6484df3f06c8 Mon Sep 17 00:00:00 2001
From: Jusong Yu <jusong.yeu@gmail.com>
Date: Mon, 17 Jun 2024 00:27:37 +0200
Subject: [PATCH] Use short version in openmpi version set (#4)

---
 bm-openmpi/Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bm-openmpi/Dockerfile b/bm-openmpi/Dockerfile
index c9e5556..2e3a958 100644
--- a/bm-openmpi/Dockerfile
+++ b/bm-openmpi/Dockerfile
@@ -6,8 +6,7 @@ FROM base-image AS openmpi-builder
 WORKDIR /openmpi-build
 ARG OPENMPI_VERSION
 
-# TODO: v4.1 -< OPENMPI_MAJOR_MINOR_VERSION
-RUN wget -c -O openmpi.tar.gz https://download.open-mpi.org/release/open-mpi/v4.1/openmpi-${OPENMPI_VERSION}.tar.gz && \
+RUN wget -c -O openmpi.tar.gz https://download.open-mpi.org/release/open-mpi/v${OPENMPI_VERSION%.*}/openmpi-${OPENMPI_VERSION}.tar.gz && \
     mkdir -p openmpi && \
     tar xf openmpi.tar.gz -C openmpi --strip-components=1 && \
     cd openmpi && \