diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-17 09:58:42 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-17 09:59:46 +0100 |
| commit | e9823f9ca347b396b6eae0f61b1ab84cec800684 (patch) | |
| tree | d4fb59710975a8527d01deba2a02377e7b5a85b9 /gnu/packages/gstreamer.scm | |
| parent | f30d5f7f2dac5b02d5d71486a501bb0381ae034b (diff) | |
| download | patches-e9823f9ca347b396b6eae0f61b1ab84cec800684.tar patches-e9823f9ca347b396b6eae0f61b1ab84cec800684.tar.gz | |
gnu: openmpi: Add InfiniBand support.
* gnu/packages/mpi.scm (openmpi)[inputs]: Add opensm.
[arguments]: Add openib configure flags; add build phase
"find-opensm-headers".
Diffstat (limited to 'gnu/packages/gstreamer.scm')
0 files changed, 0 insertions, 0 deletions