From efcacc17c763801aa1e3eb0045d4abcfe31561ce Mon Sep 17 00:00:00 2001
From: Dave Love <fx@gnu.org>
Date: Sun, 23 Jul 2017 22:02:54 +0100
Subject: [PATCH] gnu: openmpi: Enable SGE support.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-sge" in
 #:configure-flags.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/mpi.scm | 1 +
 1 file changed, 1 insertion(+)

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="