diff options
author | Eric Bavier <bavier@member.fsf.org> | 2014-05-18 11:08:17 -0500 |
---|---|---|
committer | Eric Bavier <bavier@member.fsf.org> | 2014-05-18 11:09:42 -0500 |
commit | 1691b4cdc619caf47700eef22023066985afb877 (patch) | |
tree | 896401fec24145e2a77d65f88fff2c9ca6827a29 | |
parent | b4140694aca6a717ec130e3788b9d877d1b1e534 (diff) | |
download | patches-1691b4cdc619caf47700eef22023066985afb877.tar patches-1691b4cdc619caf47700eef22023066985afb877.tar.gz |
gnu: openmpi: Add memchecker support.
* gnu/packages/mpi.scm (openmpi) [inputs]: Add valgrind. Unpropagate
gfortran. [arguments]: Add configure flags for memchecker.
-rw-r--r-- | gnu/packages/mpi.scm | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 37b7858469..e7919bc436 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -32,6 +32,7 @@ #:use-module (gnu packages xml) #:use-module (gnu packages ncurses) #:use-module (gnu packages pkg-config) + #:use-module (gnu packages valgrind) #:use-module (srfi srfi-1)) (define-public hwloc @@ -95,11 +96,11 @@ bind processes, and much more.") "13z1q69f3qwmmhpglarfjminfy2yw4rfqr9jydjk5507q3mjf50p")))) (build-system gnu-build-system) (inputs - `(("hwloc" ,hwloc))) + `(("hwloc" ,hwloc) + ("gfortran" ,gfortran-4.8) + ("valgrind" ,valgrind))) (native-inputs `(("pkg-config" ,pkg-config))) - (propagated-inputs - `(("gfortran" ,gfortran-4.8))) (arguments `(#:configure-flags `("--enable-static" "--enable-oshmem" @@ -110,6 +111,10 @@ bind processes, and much more.") ;; "--enable-mpi-thread-multiple" "--enable-mpi-ext=all" "--with-devel-headers" + "--enable-debug" + "--enable-memchecker" + ,(string-append "--with-valgrind=" + (assoc-ref %build-inputs "valgrind")) ,(string-append "--with-hwloc=" (assoc-ref %build-inputs "hwloc"))))) (home-page "http://www.open-mpi.org") |