diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2017-07-27 10:46:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-27 11:47:50 +0200 |
commit | f1be6f5b5a7398d5eba6831a4eb82bcfeaa306ec (patch) | |
tree | c266ee53b11ded35193fbdfde3b168327d0c4019 /guix | |
parent | 8f2c410fc557cad527318e45e96897c924cb13de (diff) |
gnu: openmpi: Add "static" output.
* gnu/packages/mpi.scm (openmpi)[outputs]: New field.
[arguments]: Add 'move-static-libraries' phase.
Diffstat (limited to 'guix')
0 files changed, 0 insertions, 0 deletions