[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#72062] [PATCH 3/4] gnu: Add openmpi-5.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#72062] [PATCH 3/4] gnu: Add openmpi-5. |
|
Date: |
Fri, 12 Jul 2024 10:42:47 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Romain GARBAGE <romain.garbage@inria.fr> skribis:
> +(define-public openmpi-5
Also, probably as a separate patch, you could rename ‘openmpi’ to
‘openmpi-4’ and add:
(define-public openmpi openmpi-4)
That way, we’ll only have to touch that variable when we decide to
upgrade wholesale.
WDYT?
Ludo’.
- [bug#72062] [PATCH 0/4] Add OpenMPI 5.x, Romain GARBAGE, 2024/07/11
- [bug#72062] [PATCH 1/4] gnu: Add openpmix., Romain GARBAGE, 2024/07/11
- [bug#72062] [PATCH 0/4] Add OpenMPI 5.x, Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH 0/4] Add OpenMPI 5.x, Ludovic Courtès, 2024/07/12
- [bug#72062] [PATCH v2 0/5] Add OpenMPI 5.x., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v2 1/5] gnu: Add openpmix., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v2 3/5] gnu: slurm: Add PMIx support., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v2 5/5] gnu: openmpi: Set default version to 4.x., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v2 4/5] gnu: Add openmpi-5., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v2 2/5] gnu: Add prrte., Romain GARBAGE, 2024/07/12
- [bug#72062] [PATCH v3 0/5] Add OpenMPI 5.x., Romain GARBAGE, 2024/07/12