Hi Lawrence,
Unfortunately I've tried this, and another PETSc option to stop download of Eigen (like what was mentioned in a separate email thread), and it still doesn't pass the tests (firedrake-install).
I see Gusto had this problem, and then switched to a new automated test script Jenkis; would it be possible to remove the .travis.yml script from flooddrake and replace it with this testing script?
Many Thanks,