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/scripts | |
| 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/scripts')
0 files changed, 0 insertions, 0 deletions