On Mon, 27 Nov 2017, Riccardo (Jack) Lucchetti wrote:
On Sun, 26 Nov 2017, Allin Cottrell wrote:
>> No luck so far. I added the (virtual) packages mpi-default-dev and
>> mpi-default-bin (mostly OpenMPI, but some of Debian arches may use MPICH).
>> They are installed but your configure then report
I have no problems here with libopenmpi-dev.
Good to hear, but I think in Dirk's case he's (cross-) building gretl
for several architectures on a given server, which adds a layer of
complication.
I'm working on a revision of our mpi.m4 which hopefully should sort
this out.
Allin