Am 21.11.2017 um 13:23 schrieb Dirk Eddelbuettel:
I _could_ change the standard build to always use openmpi. May open
yet
another can of worms, but at least it is less involved.
Yes, why not? The only real downside would be additional dependencies,
right? Are there any cases (architectures etc.) where those dependencies
would fail which would then block installation of gretl? Or could
openmpi become a package suggestion instead of a dependency?
thanks,
sven