summaryrefslogtreecommitdiff
path: root/gnu/packages/profiling.scm
AgeCommit message (Collapse)Author
2018-03-05gnu: papi: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
2018-03-05gnu: papi: Fix documentation location.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’ to a customary subdirectory of /share/doc.
2018-03-04gnu: papi: Update phase style.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (papi)[arguments]: Substitute INVOKE for SYSTEM*, end phases with #t, and don't explicitly install LICENSE.txt.
2017-10-03gnu: Add scorep-openmpi.Dave Love
* gnu/packages/profiling.scm (make-scorep): New function. (scorep-openmpi): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add cube.Dave Love
* gnu/packages/profiling.scm(cube): New variable. * gnu/packages/patches/cube-nocheck.patch: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add opari2.Dave Love
* gnu/packages/profiling.scm (opari2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add otf2.Dave Love
* gnu/packages/profiling.scm (otf2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add papi.Dave Love
* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit v1.2.3 (git 2.44.0) at 2024-07-08 09:56:40 +0000