Install Open MPI memchecker tool using valgrind if requested.

2014-09-16 12:25:00 +00:00 · 2014-09-16 12:25:00 +00:00 · e9f08eb01c
commit e9f08eb01c
parent 607590a842
1 changed files with 7 additions and 0 deletions
--- 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
 }