Commit graph

13 commits

Author SHA1 Message Date
Tobias Geerinckx-Rice
fb5fedfe7e
gnu: otf2: Edit description.
* gnu/packages/profiling.scm (otf2)[description]: Fix typo and use @dfn.
2018-08-11 02:00:46 +02:00
Tobias Geerinckx-Rice
82536c4877
gnu: opari2: Update to 2.0.3.
* gnu/packages/profiling.scm (opari2): Update to 2.0.3.
2018-08-11 02:00:45 +02:00
Tobias Geerinckx-Rice
c6cb111b23
gnu: opari2: Remove redundant code.
* gnu/packages/profiling.scm (opari2)[arguments]: Remove ‘licence’
installation phase now handled by the build system.
2018-08-11 02:00:44 +02:00
Tobias Geerinckx-Rice
27114bc3e0
gnu: otf2: Update to 2.1.1.
* gnu/packages/profiling.scm (otf2): Update to 2.1.1.
2018-08-10 01:45:00 +02:00
Mark H Weaver
6cbee49d66
gnu: 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.
2018-03-16 09:08:31 -04:00
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