nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: openmpi: Add memchecker support. 

* gnu/packages/mpi.scm (openmpi) [inputs]: Add valgrind.  Unpropagate
  gfortran.  [arguments]: Add configure flags for memchecker.
This commit is contained in:
Eric Bavier 2014-05-18 11:08:17 -05:00
parent b4140694ac
commit 1691b4cdc6
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gnu/packages/mpi.scm
View File

@ -32,6 +32,7 @@
#:use-module (gnu packages xml) #:use-module (gnu packages xml)
#:use-module (gnu packages ncurses) #:use-module (gnu packages ncurses)
#:use-module (gnu packages pkg-config) #:use-module (gnu packages pkg-config)
#:use-module (gnu packages valgrind)
#:use-module (srfi srfi-1)) #:use-module (srfi srfi-1))
(define-public hwloc (define-public hwloc
@ -95,11 +96,11 @@ bind processes, and much more.")
"13z1q69f3qwmmhpglarfjminfy2yw4rfqr9jydjk5507q3mjf50p")))) "13z1q69f3qwmmhpglarfjminfy2yw4rfqr9jydjk5507q3mjf50p"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("hwloc" ,hwloc))) `(("hwloc" ,hwloc)
("gfortran" ,gfortran-4.8)
("valgrind" ,valgrind)))
(native-inputs (native-inputs
`(("pkg-config" ,pkg-config))) `(("pkg-config" ,pkg-config)))
(propagated-inputs
`(("gfortran" ,gfortran-4.8)))
(arguments (arguments
`(#:configure-flags `("--enable-static" `(#:configure-flags `("--enable-static"
"--enable-oshmem" "--enable-oshmem"
@ -110,6 +111,10 @@ bind processes, and much more.")
;; "--enable-mpi-thread-multiple" ;; "--enable-mpi-thread-multiple"
"--enable-mpi-ext=all" "--enable-mpi-ext=all"
"--with-devel-headers" "--with-devel-headers"
"--enable-debug"
"--enable-memchecker"
,(string-append "--with-valgrind="
(assoc-ref %build-inputs "valgrind"))
,(string-append "--with-hwloc=" ,(string-append "--with-hwloc="
(assoc-ref %build-inputs "hwloc"))))) (assoc-ref %build-inputs "hwloc")))))
(home-page "http://www.open-mpi.org") (home-page "http://www.open-mpi.org")