summary refs log tree commit diff
path: root/gnu/packages/profiling.scm
AgeCommit message (Collapse)Author
2018-08-11gnu: otf2: Edit description.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (otf2)[description]: Fix typo and use @dfn.
2018-08-11gnu: opari2: Update to 2.0.3.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (opari2): Update to 2.0.3.
2018-08-11gnu: opari2: Remove redundant code.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (opari2)[arguments]: Remove ‘licence’ installation phase now handled by the build system.
2018-08-10gnu: otf2: Update to 2.1.1.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (otf2): Update to 2.1.1.
2018-03-16gnu: All snippets report errors using exceptions, else return #t.Mark H Weaver
* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm, gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bioinformatics.scm, gnu/packages/cdrom.scm, gnu/packages/chez.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/cross-base.scm, gnu/packages/crypto.scm, gnu/packages/cups.scm, gnu/packages/databases.scm, gnu/packages/dns.scm, gnu/packages/emacs.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/enlightenment.scm, gnu/packages/fpga.scm, gnu/packages/freedesktop.scm, gnu/packages/ftp.scm, gnu/packages/games.scm, gnu/packages/gcc.scm, gnu/packages/geo.scm, gnu/packages/ghostscript.scm, gnu/packages/gl.scm, gnu/packages/glib.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/graphics.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm, gnu/packages/irc.scm, gnu/packages/java.scm, gnu/packages/kerberos.scm, gnu/packages/linux.scm, gnu/packages/lisp.scm, gnu/packages/lxde.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/maths.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mp3.scm, gnu/packages/music.scm, gnu/packages/netpbm.scm, gnu/packages/networking.scm, gnu/packages/node.scm, gnu/packages/nvi.scm, gnu/packages/ocaml.scm, gnu/packages/pdf.scm, gnu/packages/perl.scm, gnu/packages/php.scm, gnu/packages/plotutils.scm, gnu/packages/pretty-print.scm, gnu/packages/profiling.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/robotics.scm, gnu/packages/sawfish.scm, gnu/packages/scanner.scm, gnu/packages/scheme.scm, gnu/packages/scribus.scm, gnu/packages/sdl.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/slang.scm, gnu/packages/smalltalk.scm, gnu/packages/ssh.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/tbb.scm, gnu/packages/terminals.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/tls.scm, gnu/packages/unrtf.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xorg.scm: In all snippets, report errors using exceptions, or else return #t.
2018-03-05gnu: papi: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
2018-03-05gnu: papi: Fix documentation location.Tobias Geerinckx-Rice
* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’ to a customary subdirectory of /share/doc.
2018-03-04gnu: 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-03gnu: 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-03gnu: 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-03gnu: Add opari2.Dave Love
* gnu/packages/profiling.scm (opari2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add otf2.Dave Love
* gnu/packages/profiling.scm (otf2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-03gnu: Add papi.Dave Love
* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>