Ticket #31244: Portfile-openmpi.diff
File Portfile-openmpi.diff, 560 bytes (added by justus.c79@…, 13 years ago) |
---|
-
Portfile
old new 62 62 } 63 63 64 64 variant threads description {enable threads for MPI applications} { 65 configure.args-append --enable-mpi-thread s65 configure.args-append --enable-mpi-thread-multiple 66 66 } 67 67 68 68 variant progressthreads description {enable threads asynchronous communication progress} { 69 configure.args-append --enable- progress-threads69 configure.args-append --enable-opal-progress-threads 70 70 } 71 71 72 72 variant valgrind description {enable valgrind support} {