On Feb 12, 2009, at 1:30 PM, George Bosilca wrote:
> Some of the configure options changed their name for the 1.3. Here
> is the updated list you should use in order to get valgrind support
> for the 1.3:
> --enable-memchecker --with-valgrind --with-memory-manager=none
Note that --enable-memchecker and --with-valgrind are new options for
the v1.3 series; that support didn't exist in the v1.2 series.
And just to be clear, --without-memory-manager is the same as --with-