I tried the two available versions and both give the same thing: the installation works, but I get errors when running the files.
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 ?