[MacPorts] #25829: openmpi 1.4.1 : valgrind support
#25829: openmpi 1.4.1 : valgrind support ---------------------------------+------------------------------------------ Reporter: dechaume@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.1 Keywords: openmpi | Port: openmpi ---------------------------------+------------------------------------------ add a variant with valgrind support with variant valgrind description {enable valgrind support} { depends_lib-append port:valgrind configure.args-append --enable-debug --enable-memchecker --with- valgrind=${prefix} } -- Ticket URL: <http://trac.macports.org/ticket/25829> MacPorts <http://www.macports.org/> Ports system for Mac OS
#25829: openmpi 1.4.1 : valgrind support ---------------------------------+------------------------------------------ Reporter: dechaume@… | Owner: mww@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: openmpi ---------------------------------+------------------------------------------ Changes (by jmr@…): * keywords: openmpi => * owner: macports-tickets@… => mww@… * version: 1.9.1 => * cc: mww@… (removed) Old description:
add a variant with valgrind support with
variant valgrind description {enable valgrind support} { depends_lib-append port:valgrind configure.args-append --enable-debug --enable-memchecker --with- valgrind=${prefix} }
New description: add a variant with valgrind support with {{{ variant valgrind description {enable valgrind support} { depends_lib-append port:valgrind configure.args-append --enable-debug --enable-memchecker --with- valgrind=${prefix} } }}} -- -- Ticket URL: <http://trac.macports.org/ticket/25829#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#25829: openmpi 1.4.1 : valgrind support ----------------------------------+----------------------------------------- Reporter: dechaume@… | Owner: mww@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: Port: openmpi | ----------------------------------+----------------------------------------- Changes (by jmr@…): * status: new => closed * resolution: => fixed Comment: r80571 -- Ticket URL: <https://trac.macports.org/ticket/25829#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts