| Age | Commit message (Expand) | Author |
|---|
| 2018-03-05 | gnu: papi: Use HTTPS home page....* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
| Tobias Geerinckx-Rice |
| 2018-03-05 | 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-04 | 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 |
| 2017-10-03 | 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 | 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 | gnu: Add opari2....* gnu/packages/profiling.scm (opari2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love |
| 2017-10-03 | gnu: Add otf2....* gnu/packages/profiling.scm (otf2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Dave Love |
| 2017-10-03 | 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 |
