rationalize mpi config tuning

The tuning of mpi parameters is difficult to distinguish from regular configurations. Eg, config.sh/mpi vs config.sh/openmpi.

I would propose that we unify this with a common prefix or suffix. My current tendency is with a prefix, to have nicely sorted items. The prefix tune. looks nice to me, but prefs. is probably better since it bears resemblance to prefs.sh etc.

After the change, we could add in additional preference tuning for mpich, intelmpi etc. The optional files would then look like this:

• config.sh/prefs.mpich
• config.sh/prefs.openmpi
• config.sh/prefs.openmpi-system
• ...

This mostly affects @Prashant and perhaps @Pawan I would suspect.

changed milestone to %v2012

added enhancement label

changed the description

Looks fine. Should be for csh as well ?

csh too, of course.

mentioned in commit 1d2da6c5

mentioned in commit c91fc6f4

closed