On 21 November 2017 at 07:30, Riccardo (Jack) Lucchetti wrote:
| Speaking of which: I don't think mpi is enabled in the stock debian build.
| I noticed that several programs on debian have an "-openmpi" deb package
| variant. Perhaps we could have a gretl-openmpi package too? On my "buster"
| box (current testing) once you have libopenmpi-dev and libopenmpi2
| installed, all you need to do is give the --with-mpi option to the
| configure script, and everything just works. I guess it'd just be a matter
| of adjusting the build dependencies, no? Dirk?
Yes. But ... what we probably want is two builds, one serial (as before) and
one with mpi as you suggest.
That requires a rejigging / enhancing / rewriting of the the (Debian) build
file to ensure that any files needed by both end up in a -common package,
that the serial build ends up in a package of its own, that the parallel
build ends up in a package of its own and that all corner cases of upgrading
from (current) serial to (new serial), or new parallel etc pp are
covered. Plus all switches between and all possible transition. All doable,
just a lot of patient nitty gritty work.
And I just don't have the time. I am truly sorry.
I _could_ change the standard build to always use openmpi. May open yet
another can of worms, but at least it is less involved.
Dirk
--
http://dirk.eddelbuettel.com | @eddelbuettel | edd(a)debian.org