aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/profiling.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2022-01-18 17:09:40 +0100
committerLudovic Courtès <ludo@gnu.org>2022-01-18 18:46:51 +0100
commit895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3 (patch)
treefe5a79ae65caab21851890d63ccf3f0a7ab755e5 /gnu/packages/profiling.scm
parent62fc6fdb4c03c1f7738694730a642c435d7a4a6a (diff)
downloadguix-895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3.tar
guix-895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3.tar.gz
gnu: papi: Add 'release-monitoring-url' property.
* gnu/packages/profiling.scm (papi)[properties]: New field.
Diffstat (limited to 'gnu/packages/profiling.scm')
-rw-r--r--gnu/packages/profiling.scm3
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/profiling.scm b/gnu/packages/profiling.scm
index 3cfe89d963..28d9cd4eea 100644
--- a/gnu/packages/profiling.scm
+++ b/gnu/packages/profiling.scm
@@ -123,6 +123,9 @@ real time, the relation between software performance and processor events.
In addition, PAPI provides access to a collection of components that expose
performance measurement opportunites across the hardware and software stack.")
+ (properties
+ '((release-monitoring-url
+ . "http://icl.cs.utk.edu/papi/software/")))
;; See Debian papi copyright file.
(license (list license:bsd-3
license:lgpl2.1+ ;src/components/infiniband/pscanf.h