diff options
author | Dave Love <fx@gnu.org> | 2017-11-07 17:57:47 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-07 18:09:13 +0100 |
commit | fd23d259cd0c13cd670aea7190a00a531da4c90d (patch) | |
tree | f4da0255275d125d00b1fab7ab9d12e4aa82a09a /bootstrap | |
parent | 63b7fbe1bb3ff2b8a97793f91a0a6d7de8977a75 (diff) | |
download | guix-fd23d259cd0c13cd670aea7190a00a531da4c90d.tar.gz guix-fd23d259cd0c13cd670aea7190a00a531da4c90d.zip |
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.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions