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>
This commit is contained in:
Dave Love 2017-07-23 22:02:54 +01:00 committed by Ludovic Courtès
parent 217ce5702c
commit efcacc17c7
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 0 deletions

View File

@ -138,6 +138,7 @@ bind processes, and much more.")
"--enable-mpi-ext=all" "--enable-mpi-ext=all"
"--with-devel-headers" "--with-devel-headers"
"--enable-memchecker" "--enable-memchecker"
"--with-sge"
,(string-append "--with-valgrind=" ,(string-append "--with-valgrind="
(assoc-ref %build-inputs "valgrind")) (assoc-ref %build-inputs "valgrind"))
,(string-append "--with-hwloc=" ,(string-append "--with-hwloc="