HPC installation - firedrakeproject/firedrake GitHub Wiki