On May 12, 2009, at 4:37 PM, Josh Hursey wrote:
> I updated the branch with the following changes based on discussions
> on and off list:
> * Change configure option from '--enable-ext=LIST' to '--enable-mpi-
> * If no list is given to '--enable-mpi-ext' then ALL extensions that
> can be built, are built.
> * Add "#define OMPI_HAVE_MPI_EXT" to mpi-ext.h
> * Add "#define OMPI_HAVE_MPI_EXT_COMPONENT" to mpi-ext.h