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 /po | |
parent | fc2de6ce134fb012373387ff9d73c75c449c5cc9 (diff) | |
download | patches-b08952f1bb83c8f0188cf38d26e34465e853a08a.tar patches-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 'po')
0 files changed, 0 insertions, 0 deletions