On 07/06/17 11:17, William Booker wrote:
Dear Firedrakers,
Attached the log for a failed firedrake update.
What should I do to work around this?
Please do:
pip uninstall petsc
cd firedrake/src/petsc
git clean -fdx
firedrake-update --rebuild
Thanks,
Lawrence