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 /gnu/packages | |
parent | 217ce5702cde1543cfc56727c1ca3bb3f9dbc5a5 (diff) | |
download | guix-efcacc17c763801aa1e3eb0045d4abcfe31561ce.tar.gz |
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>
Diffstat (limited to 'gnu/packages')
-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=" |