GNU bug report logs - #29172
[PATCH] gnu: Add psm.

Previous Next

Package: guix-patches;

Reported by: Dave Love <fx <at> gnu.org>

Date: Mon, 6 Nov 2017 17:20:02 UTC

Severity: normal

Tags: patch

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

Message #13 received at 29172-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Dave Love <fx <at> gnu.org>
Cc: 29172-done <at> debbugs.gnu.org
Subject: Re: [bug#29172] [PATCH] gnu: Add psm.
Date: Tue, 07 Nov 2017 18:02:00 +0100

Hi Dave,

Dave Love <fx <at> gnu.org> skribis:

> * gnu/packages/linux.scm (psm): New variable.
> (libfabric): Use it.
> * gnu/packages/mpi.scm (openmpi)[inputs]: Add psm.
> * gnu/packages/patches/psm-arch.patch,
> gnu/packages/patches/psm-ldflags.patch,
> gnu/packages/patches/psm-repro.patch: New files.
> * gnu/local.mk (dist_patch_DATA): Add them.

I split it into 3 separate patches (one two add PSM, one to change
libfabric, and one for openmpi) and committed.

Thanks,
Ludo’.
This bug report was last modified 7 years and 254 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.