Use short version in openmpi version set (#4)

cnts4sci · Jun 16, 2024 · a177dd5 · a177dd5
1 parent 11711a7
commit a177dd5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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 && \