From e9f08eb01cd55ef38a846fffdd59ea0ea9ccd7de Mon Sep 17 00:00:00 2001
From: Christoph Niethammer <niethammer@hlrs.de>
Date: Tue, 16 Sep 2014 12:25:00 +0000
Subject: [PATCH] Install Open MPI memchecker tool using valgrind if requested.

---
 packages/mpi/openmpi/openmpi-1.8.1 | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/packages/mpi/openmpi/openmpi-1.8.1 b/packages/mpi/openmpi/openmpi-1.8.1
index 62f4ceb..40d5ced 100755
--- a/packages/mpi/openmpi/openmpi-1.8.1
+++ b/packages/mpi/openmpi/openmpi-1.8.1
@@ -36,6 +36,13 @@ if [[ -d /opt/voltaire/fca ]]; then
     CONFIGURE_OPTS+=" --with-fca=/opt/voltaire/fca"
 fi
 
+if [ $enable_valgrind != 0 ]; then
+    module load valgrind
+    VALGRIND_HOME=$(dirname $(dirname $(which valgrind)))
+    CONFIGURE_OPTS+=" --enable-memchecker \
+        --with-valgrind=$VALGRIND_HOME"
+fi
+
 src_pretest() {
     make check
 }