02/11: gnu: openmpi: Add 'release-monitoring-url' property.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 14aa86e50c3d931eb3714ca7bb91f861173169c8
Author: Ludovic Courtès <ludovic.courtes@inria.fr>
AuthorDate: Thu Mar 18 15:17:48 2021 +0100

    gnu: openmpi: Add 'release-monitoring-url' property.
    
    * gnu/packages/mpi.scm (openmpi)[properties]: New field.
---
 gnu/packages/mpi.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index e5a45d7..b878cc7 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -203,6 +203,12 @@ bind processes, and much more.")
       (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")