From 14aa86e50c3d931eb3714ca7bb91f861173169c8 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludovic.courtes@inria.fr>
Date: Thu, 18 Mar 2021 15:17:48 +0100
Subject: 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(+)

(limited to 'gnu/packages')

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index e5a45d751c..b878cc7019 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")
-- 
cgit v1.2.3