summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDave Love <fx@gnu.org>2017-07-23 22:02:54 +0100
committerLudovic Courtès <ludo@gnu.org>2017-07-26 23:13:52 +0200
commitefcacc17c763801aa1e3eb0045d4abcfe31561ce (patch)
tree4daa7c3325a79df4d018319aae17f1b528c37d6c
parent217ce5702cde1543cfc56727c1ca3bb3f9dbc5a5 (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.scm1
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="