BoffiBrezziGastaldi To install SLEPc support in an existing Firedrake installation please run: firedrake-update --slepc