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 /tests/guix-download.sh | |
| parent | 40095549f4ee69b6c3314dc03ae4464c5f0b44f3 (diff) | |
| download | guix-c8045fa0526774a6b1da979baee2f98a7185dbad.tar.gz guix-c8045fa0526774a6b1da979baee2f98a7185dbad.zip | |
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 'tests/guix-download.sh')
0 files changed, 0 insertions, 0 deletions