mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 14:18:38 +02:00
Merge branch 'devel' into 'main'
bump openmpi version See merge request glicid-public/guix-glicid!237
This commit is contained in:
commit
b985418401
1 changed files with 16 additions and 0 deletions
|
@ -10,6 +10,22 @@
|
||||||
#:use-module (glicid packages parallel)
|
#:use-module (glicid packages parallel)
|
||||||
#:use-module (gnu packages))
|
#:use-module (gnu packages))
|
||||||
|
|
||||||
|
(define-public openmpi-upstream-4.1.5
|
||||||
|
(package
|
||||||
|
(inherit gnu:openmpi)
|
||||||
|
(name "openmpi-upstream")
|
||||||
|
(version "4.1.5")
|
||||||
|
(source (origin
|
||||||
|
(method url-fetch)
|
||||||
|
(uri (string-append "https://www.open-mpi.org/software/ompi/v"
|
||||||
|
(version-major+minor version)
|
||||||
|
"/downloads/openmpi-" version ".tar.bz2"))
|
||||||
|
(sha256
|
||||||
|
(base32
|
||||||
|
"1qyvc77diyrxmviirdwqpibgm32c4vkdlvw8g79rsf2pq9mrhh56"))
|
||||||
|
(patches (search-patches "openmpi-mtl-priorities.patch"))))))
|
||||||
|
|
||||||
|
|
||||||
(define-public openmpi-upstream-4.1.4
|
(define-public openmpi-upstream-4.1.4
|
||||||
(package
|
(package
|
||||||
(inherit gnu:openmpi)
|
(inherit gnu:openmpi)
|
||||||
|
|
Loading…
Add table
Reference in a new issue