| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: papi: Use HTTPS home page.•••* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
| Tobias Geerinckx-Rice | 2018-03-05 | 1 | -1/+1 |
| * | gnu: papi: Fix documentation location.•••* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’
to a customary subdirectory of /share/doc.
| Tobias Geerinckx-Rice | 2018-03-05 | 1 | -2/+2 |
| * | gnu: papi: Update phase style.•••* gnu/packages/profiling.scm (papi)[arguments]: Substitute INVOKE for
SYSTEM*, end phases with #t, and don't explicitly install LICENSE.txt.
| Tobias Geerinckx-Rice | 2018-03-04 | 1 | -14/+14 |
| * | gnu: Add scorep-openmpi.•••* gnu/packages/profiling.scm (make-scorep): New function.
(scorep-openmpi): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love | 2017-10-03 | 1 | -0/+67 |
| * | gnu: Add cube.•••* 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>
| Dave Love | 2017-10-03 | 1 | -1/+138 |
| * | gnu: Add opari2.•••* gnu/packages/profiling.scm (opari2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love | 2017-10-03 | 1 | -0/+34 |
| * | gnu: Add otf2.•••* gnu/packages/profiling.scm (otf2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love | 2017-10-03 | 1 | -1/+36 |
| * | gnu: Add papi.•••* gnu/packages/profiling.scm: New file.
* gnu/local.mk: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love | 2017-10-03 | 1 | -0/+126 |
