Subject: Re: [bug#29172] [PATCH] gnu: Add psm.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 07 Nov 2017 18:02:00 +0100

Hi Dave,

Dave Love <[email-masked]> 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’.