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

..

bootloader

system: Introduce a disjoint UUID type.

2017-09-11 22:24:46 +02:00

build

build: Do not store two copies of the ISO-9660 superblock anymore.

2017-09-22 04:03:52 +02:00

packages

gnu: Add scorep-openmpi.

2017-10-03 17:07:55 +02:00

services

gnu: services: Add cgit.

2017-10-03 17:07:54 +02:00

system

uuid: Add a parser for FAT32 UUIDs.

2017-09-22 18:40:57 +02:00

tests

gnu: services: Add cgit.

2017-10-03 17:07:54 +02:00

artwork.scm

artwork: Use a descriptive name for the source directory.

2017-06-07 15:58:16 -04:00

bootloader.scm

bootloader: Emit warnings with 'warning'.

2017-08-28 09:56:33 +02:00

local.mk

gnu: Add cube.

2017-10-03 17:07:55 +02:00

packages.scm

packages: 'fold-packages' takes an optional 'modules' parameter.

2017-09-01 10:29:39 +02:00

services.scm

services: network-manager: Add support for VPN plug-ins.

2017-09-22 00:05:08 +02:00

system.scm

system: <boot-parameters> does not use "/dev" device names.

2017-09-21 22:30:59 +02:00

tests.scm

gnu: bootloader: Deprecate "device" field in favor of "target".

2017-08-23 22:23:19 +02:00