diff options
| author | Dave Love <fx@gnu.org> | 2017-09-11 21:30:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-12 14:56:59 +0200 |
| commit | b08952f1bb83c8f0188cf38d26e34465e853a08a (patch) | |
| tree | f4e49639e48ec19c767dffd1c8c4c82786b23c45 /.gitignore | |
| parent | fc2de6ce134fb012373387ff9d73c75c449c5cc9 (diff) | |
| download | guix-b08952f1bb83c8f0188cf38d26e34465e853a08a.tar.gz | |
gnu: openmpi: Configure without builtin atomics.
See https://www.mail-archive.com/users@lists.open-mpi.org//msg31400.html * gnu/packages/mpi.scm (openmpi)[arguments]: Don't configure with --enable-builtin-atomics. Signed-off-by: Ludovic Courtès <ludovic.courtes@inria.fr>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions