Re: [firedrake] Building firedrake using my own mpicc compiler