Changeset 80571

Timestamp:

07/15/11 03:07:25 (4 years ago)

Author:

jmr@…

Message:

openmpi: add valgrind variant (#25829)

File:

• trunk/dports/science/openmpi/Portfile (modified) (1 diff)

trunk/dports/science/openmpi/Portfile

@@ -65 +65 @@
 }
 
+variant valgrind description {enable valgrind support} {
+        depends_lib-append    port:valgrind
+        configure.args-append --enable-debug --enable-memchecker --with-valgrind=${prefix}
+}
+
 variant gcc42 description {build mpif77 and mpif90 using gcc42} conflicts gcc43 gcc44 gcc45 g95 {
         configure.args-delete --disable-mpi-f77 --disable-mpi-f90