An error occurred while fetching the assigned milestone of the selected merge_request.
The configuration files, user preferences and wmake rules for MPI had become rather confusing and cumbersome. This is especially noticeable when trying to add in minor differences for handling system-level openmpi2 vs openmpit4 etc. Using a single directory name 'openmpi-system' makes it difficult (impossible) to properly handle different major openmpi versions on the same system.
And additional problem was posed by the choice of preference names. An 'etc/config.sh/mpi' handles all MPI-related dispatch, whereas etc/config.sh/openmpi handles ThirdParty adjustments only. Thus make preferences clearly marked with a "prefs." prefix.
Reorganized MPI make rules for more commonality.
Incompatibility name change for advanced user:
Prefix system-related mpi with sys-, for sorting and consistency.