gnu: openmpi: Add 'release-monitoring-url' property.

* gnu/packages/mpi.scm (openmpi)[properties]: New field.
This commit is contained in:
Ludovic Courtès 2021-03-18 15:17:48 +01:00 committed by Ludovic Courtès
parent a0f83602f8
commit 14aa86e50c
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -203,6 +203,12 @@ (define-public openmpi
(sha256
(base32 "02f0r9d3xgs08svkmj8v7lzviyxqnkk4yd3z0wql550xnriki3y5"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties
;; Tell the 'generic-html' updater to monitor this URL for updates.
`((release-monitoring-url
. "https://www.open-mpi.org/software/ompi/current")))
(build-system gnu-build-system)
(inputs
`(("hwloc" ,hwloc-2 "lib")