[firedrake] About firedrake install

Hello all, I have some issues with installing firedrake, especially petsc. For more detailed information, please see the attached bash history. Could anyone please help me solve these issues? Jan Burzack