diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2022-07-12 21:33:27 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2022-07-12 21:37:09 +0300 |
commit | c8045fa0526774a6b1da979baee2f98a7185dbad (patch) | |
tree | 9f110858f97badd6e181f030d6ad7839218f9cb8 /gnu | |
parent | 40095549f4ee69b6c3314dc03ae4464c5f0b44f3 (diff) | |
download | guix-c8045fa0526774a6b1da979baee2f98a7185dbad.tar guix-c8045fa0526774a6b1da979baee2f98a7185dbad.tar.gz |
gnu: openmpi: Only build with valgrind on supported systems.
* gnu/packages/mpi.scm (openmpi)[inputs]: Wrap valgrind in if-supported
macro.
[arguments]: Adjust configure-flags based on if valgrind is present.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/mpi.scm | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 01dc9e355b..ebf9238906 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -4,7 +4,7 @@ ;;; Copyright © 2014 Ian Denhardt <ian@zenhack.net> ;;; Copyright © 2016 Andreas Enge <andreas@enge.fr> ;;; Copyright © 2017 Dave Love <fx@gnu.org> -;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2017, 2022 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2018–2022 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Paul Garlick <pgarlick@tourbillion-technology.com> ;;; Copyright © 2019, 2021 Ricardo Wurmus <rekado@elephly.net> @@ -217,17 +217,21 @@ bind processes, and much more.") (if-supported psm) (if-supported psm2) (if-supported ucx) + (if-supported valgrind) (list rdma-core - valgrind slurm)))) ;for PMI support (launching via "srun") (native-inputs (list pkg-config perl)) (outputs '("out" "debug")) (arguments `(#:configure-flags `("--enable-mpi-ext=affinity" ;cr doesn't work - "--enable-memchecker" "--with-sge" - "--with-valgrind" + + ,@(if ,(package? (this-package-input "valgrind")) + `("--enable-memchecker" + "--with-valgrind") + `("--without-valgrind")) + "--with-hwloc=external" "--with-libevent" |