Hello
OK, what if you install and use Firedrake loading the new MPI instead of the old one?If I don't load the old MPI, it seems like I don't have any: "mpicc -v" gives "mpicc: command not found".
Definitely not.Should I try with the option --with-mpi ?