diff mbox series

[bug#72062,v3,5/5] gnu: openmpi: Set default version to 4.x.

Message ID 20240712120140.20391-6-romain.garbage@inria.fr
State New
Headers
Series Add OpenMPI 5.x. |

Commit Message

Romain GARBAGE July 12, 2024, noon UTC 
* gnu/packages/mpi.scm (openmpi-4): New variable.
(openmpi): Redefine variable.

Change-Id: If5bb4429c935982ddaa1a5acbd728367ebbfd6fd
---
 gnu/packages/mpi.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 01f07a0f7c..7b639b9033 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -185,7 +185,7 @@  (define-public hwloc
   ;; The latest stable series of hwloc.
   hwloc-2)
 
-(define-public openmpi
+(define-public openmpi-4
   (package
     (name "openmpi")
     (version "4.1.6")
@@ -309,6 +309,8 @@  (define-public openmpi
     ;; See file://LICENSE
     (license license:bsd-2)))
 
+(define-public openmpi openmpi-4)
+
 (define-public openmpi-5
   (package
     (inherit openmpi)