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

* gnu/packages/mpi.scm (hwloc-1)[properties]: New field.
2021-03-13 22:27:18 +01:00 · 2021-03-13 22:27:18 +01:00 · fe96f64110
parent af9af2180e
commit fe96f64110
1 changed files with 6 additions and 0 deletions
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@ -66,6 +66,12 @@ (define-public hwloc-1
              (sha256
               (base32
                "0za1b9lvrm3rhn0lrxja5f64r0aq1qs4m0pxn1ji2mbi8ndppyyx"))))
+
+    (properties
+     ;; Tell the 'generic-html' updater to monitor this URL for updates.
+     `((release-monitoring-url
+        . "https://www-lb.open-mpi.org/software/hwloc/current")))
+
    (build-system gnu-build-system)
    (outputs '("out"           ;'lstopo' & co., depends on Cairo, libx11, etc.
               "lib"           ;small closure