diff options
| -rw-r--r-- | gnu/packages/mpi.scm | 6 |
1 files changed, 6 insertions, 0 deletions
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") |