[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/04: gnu: papi: Add 'release-monitoring-url' property.
|
From: |
guix-commits |
|
Subject: |
02/04: gnu: papi: Add 'release-monitoring-url' property. |
|
Date: |
Tue, 18 Jan 2022 12:47:49 -0500 (EST) |
civodul pushed a commit to branch master
in repository guix.
commit 895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Tue Jan 18 17:09:40 2022 +0100
gnu: papi: Add 'release-monitoring-url' property.
* gnu/packages/profiling.scm (papi)[properties]: New field.
---
gnu/packages/profiling.scm | 3 +++
1 file changed, 3 insertions(+)
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