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