summaryrefslogtreecommitdiff
path: root/gnu/packages/profiling.scm
AgeCommit message (Expand)Author
2018-08-11gnu: otf2: Edit description....* gnu/packages/profiling.scm (otf2)[description]: Fix typo and use @dfn. Tobias Geerinckx-Rice
2018-08-11gnu: opari2: Update to 2.0.3....* gnu/packages/profiling.scm (opari2): Update to 2.0.3. Tobias Geerinckx-Rice
2018-08-11gnu: opari2: Remove redundant code....* gnu/packages/profiling.scm (opari2)[arguments]: Remove ‘licence’ installation phase now handled by the build system. Tobias Geerinckx-Rice
2018-08-10gnu: otf2: Update to 2.1.1....* gnu/packages/profiling.scm (otf2): Update to 2.1.1. Tobias Geerinckx-Rice
2018-03-16gnu: All snippets report errors using exceptions, else return #t....* 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. Mark H Weaver
2018-03-05gnu: papi: Use HTTPS home page....* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2018-03-05gnu: papi: Fix documentation location....* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’ to a customary subdirectory of /share/doc. Tobias Geerinckx-Rice
2018-03-04gnu: 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-03gnu: 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-03gnu: 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-03gnu: Add opari2....* gnu/packages/profiling.scm (opari2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dave Love
2017-10-03gnu: Add otf2....* gnu/packages/profiling.scm (otf2): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dave Love
2017-10-03gnu: Add papi....* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dave Love