Tobias Geerinckx-Rice
|
211748d475
|
gnu: papi: Use HTTPS home page.
* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
|
2018-03-05 17:32:08 +01:00 |
|
Tobias Geerinckx-Rice
|
f7c870f78a
|
gnu: papi: Fix documentation location.
* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’
to a customary subdirectory of /share/doc.
|
2018-03-05 17:32:08 +01:00 |
|
Tobias Geerinckx-Rice
|
ac1a9ce8b0
|
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.
|
2018-03-04 18:03:46 +01:00 |
|
Dave Love
|
fb99371972
|
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>
|
2017-10-03 17:07:55 +02:00 |
|
Dave Love
|
a66408f8c0
|
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>
|
2017-10-03 17:07:55 +02:00 |
|
Dave Love
|
3c8d1f9492
|
gnu: Add opari2.
* gnu/packages/profiling.scm (opari2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
2017-10-03 17:07:55 +02:00 |
|
Dave Love
|
a6121c0a3e
|
gnu: Add otf2.
* gnu/packages/profiling.scm (otf2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
2017-10-03 17:07:55 +02:00 |
|
Dave Love
|
6a3af24f06
|
gnu: Add papi.
* gnu/packages/profiling.scm: New file.
* gnu/local.mk: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
2017-10-03 17:07:55 +02:00 |