~cnx/guix - Personal Guix development branches

Age	Commit message (Collapse)	Author
2018-03-05	gnu: papi: Use HTTPS home page.	Tobias Geerinckx-Rice
	* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
2018-03-05	gnu: papi: Fix documentation location.	Tobias Geerinckx-Rice
	* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’ to a customary subdirectory of /share/doc.
2018-03-04	gnu: 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-03	gnu: 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-03	gnu: 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-03	gnu: Add opari2.	Dave Love
	* gnu/packages/profiling.scm (opari2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03	gnu: Add otf2.	Dave Love
	* gnu/packages/profiling.scm (otf2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03	gnu: Add papi.	Dave Love
	* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>