gnu: Add PSM.
authorDave Love <fx@gnu.org>
Tue, 7 Nov 2017 16:57:47 +0000 (17:57 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 7 Nov 2017 17:09:13 +0000 (18:09 +0100)
commitfd23d259cd0c13cd670aea7190a00a531da4c90d
treef4da0255275d125d00b1fab7ab9d12e4aa82a09a
parent63b7fbe1bb3ff2b8a97793f91a0a6d7de8977a75
gnu: Add PSM.

* gnu/packages/linux.scm (psm): New variable.
* 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.
gnu/local.mk
gnu/packages/linux.scm
gnu/packages/patches/psm-arch.patch [new file with mode: 0644]
gnu/packages/patches/psm-ldflags.patch [new file with mode: 0644]
gnu/packages/patches/psm-repro.patch [new file with mode: 0644]