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 | |
| parent | 217ce5702cde1543cfc56727c1ca3bb3f9dbc5a5 (diff) | |
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>
| -rw-r--r-- | gnu/packages/mpi.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index b20993b952..ed4e900a48 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -138,6 +138,7 @@ bind processes, and much more.") "--enable-mpi-ext=all" "--with-devel-headers" "--enable-memchecker" + "--with-sge" ,(string-append "--with-valgrind=" (assoc-ref %build-inputs "valgrind")) ,(string-append "--with-hwloc=" |