diff mbox series

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

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

Commit Message

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

Change-Id: I899e6259c9bcc579622c57a1ad1e9665f0e5db7f
---
 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..08cfbc3062 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -185,7 +185,9 @@  (define-public hwloc
   ;; The latest stable series of hwloc.
   hwloc-2)
 
-(define-public openmpi
+(define-public openmpi openmpi-4)
+
+(define-public openmpi-4
   (package
     (name "openmpi")
     (version "4.1.6")