diff options
| -rw-r--r-- | gnu/packages/mpi.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 3337054223..3dd890ed62 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -134,8 +134,7 @@ bind processes, and much more.") (arguments `(#:configure-flags `("--enable-builtin-atomics" - "--enable-mpi-ext=all" - "--with-devel-headers" + "--enable-mpi-ext=affinity" ;cr doesn't work "--enable-memchecker" "--with-sge" ,(string-append "--with-valgrind=" |