mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
bump openmpi versin
This commit is contained in:
parent
1c02e1ce08
commit
69c70fbb37
1 changed files with 22 additions and 1 deletions
|
@ -28,7 +28,28 @@
|
|||
)
|
||||
)
|
||||
|
||||
(define local-openmpi openmpi-upstream-4.1.2)
|
||||
(define-public openmpi-upstream-4.1.4
|
||||
(package
|
||||
(inherit gnu:openmpi)
|
||||
(name "openmpi-upstream")
|
||||
(version "4.1.4")
|
||||
(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 "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj"))
|
||||
(patches (search-patches "openmpi-mtl-priorities.patch"))
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
|
||||
|
||||
|
||||
(define local-openmpi openmpi-upstream-4.1.4)
|
||||
|
||||
(define-public openmpi-latest (latest-version local-openmpi gnu:openmpi))
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue