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

[Romain GARBAGE <romain.garbage@inria.fr>]

* 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 --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)
-- 
2.45.1