[ewg] Dependency of openmpi in mpi-selector. Is it necessary?

[Moni Shoua]

Hi,
In spec file of openmpi there is a boolean option called ofed. 
When it is true, among other things, it makes openmpi to depend
on mpi-selector.
Why not leave it to the user to decide whether to use (and install) mpi-selector
or not. This can also create a conflict between mpi-selector that comes with ofed and the one
that is already installed.
What do you think?

 MoniS