diff options
| author | Dave Love <fx@gnu.org> | 2017-07-23 22:02:54 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-26 23:13:52 +0200 |
| commit | efcacc17c763801aa1e3eb0045d4abcfe31561ce (patch) | |
| tree | 4daa7c3325a79df4d018319aae17f1b528c37d6c /gnu/packages/patchutils.scm | |
| parent | 217ce5702cde1543cfc56727c1ca3bb3f9dbc5a5 (diff) | |
| download | guix-efcacc17c763801aa1e3eb0045d4abcfe31561ce.tar guix-efcacc17c763801aa1e3eb0045d4abcfe31561ce.tar.gz | |
gnu: openmpi: Enable SGE support.
* gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-sge" in
#:configure-flags.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patchutils.scm')
0 files changed, 0 insertions, 0 deletions