Files
ThirdParty-common/etc/tools
Mark Olesen 816173b7c4 CONFIG: update versions
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 ...
2017-12-15 11:21:31 +01:00
..
2017-12-15 11:21:31 +01:00
2017-12-15 11:21:31 +01:00
2017-12-15 11:21:31 +01:00
2017-12-15 11:21:31 +01:00