guix/patches

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