>From 7b0b1b2c92353a5253da260f51c9dc946ffe77d8 Mon Sep 17 00:00:00 2001
From: Dave Love <address@hidden>
Date: Sun, 23 Jul 2017 22:02:54 +0100
Subject: [PATCH 2/5] * mpi.scm (gnu, openmpi): Enable SGE support.

---
 gnu/packages/mpi.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 6adff2a79..34d78ed30 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="
-- 
2.11.0