diff options
author | Dave Love <fx@gnu.org> | 2017-07-31 15:04:44 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-08-21 17:04:54 +0200 |
commit | 6c171ff47c01b44c1be7632462bdef166a85bdf2 (patch) | |
tree | f468a50b116fe79c66723cc822f6d02587068052 | |
parent | df981d8b36754c820f41f01758c585bf282065c1 (diff) | |
download | patches-6c171ff47c01b44c1be7632462bdef166a85bdf2.tar patches-6c171ff47c01b44c1be7632462bdef166a85bdf2.tar.gz |
gnu: openmpi: Configure without vampirtrace.
VT is obsoleted by scorep (not currently packaged) and disabling it reduces
the closure considerably.
* mpi.scm (openmpi)[arguments]: Configure without vampirtrace.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r-- | gnu/packages/mpi.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 3dd890ed62..93157e2692 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -137,6 +137,11 @@ bind processes, and much more.") "--enable-mpi-ext=affinity" ;cr doesn't work "--enable-memchecker" "--with-sge" + + ;; VampirTrace is obsoleted by scorep and disabling + ;; it reduces the closure size considerably. + "--disable-vt" + ,(string-append "--with-valgrind=" (assoc-ref %build-inputs "valgrind")) ,(string-append "--with-hwloc=" |