From 6c171ff47c01b44c1be7632462bdef166a85bdf2 Mon Sep 17 00:00:00 2001
From: Dave Love <fx@gnu.org>
Date: Mon, 31 Jul 2017 15:04:44 +0100
Subject: [PATCH] gnu: openmpi: Configure without vampirtrace.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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>
---
 gnu/packages/mpi.scm | 5 +++++
 1 file changed, 5 insertions(+)

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