ENH: add support of additional configure options to some make scripts
- remove hard-coded --verbs from makeOPENMPI in favour of letting the
user provide it via the command-line for makeOPENMPI.
eg, makeOPENMPI openmpi-1.10.6 -- --with-verbs=DIRECTORY ...
- similar functionality in etc/tools/ThirdPartyFunctions to improve
the independence of ThirdParty while reducing clutter in the callers.
- add useGcc function for convenience
- mask seeing our own git-repo when building
STYLE: various items
- eliminate old user-editable configuration in files - now command-line only.
- use *_BUILD_DIR instead of *_BINARY_DIR for more clarity of the purpose
- drop use of '-q' option for wmakeCheckPwd (already has stderr redirect)
- drop checkVersion for makeParaView since it stopped working properly
with newer paraview version
CONFIG: update list of versions
- both can operate on several directories, which means that the
following is possible when relocating an entire third-party
directory:
etc/pkgconfigPrefix $(find platforms -type d -name pkgconfig)
