Dear firedrakers, you will (with current firedrake master) need the PETSc "next" branch installed. This is due to us requiring some functionality that has not yet hit master at their end. I have updated the installation instructions to reflect this. When we drop back down to just requiring master, I'll update again. Cheers, Lawrence