Re: [firedrake] petsc4py installation on ARCHER: directory lib/petsc-conf not found