On 23 Mar 2018, at 09:43, Lawrence Mitchell <lawrence.mitchell@imperial.ac.uk> wrote:

Dear all,

some of you who are attempting to install firedrake at the moment may be noticing that it doesn't work.

Sorry! This was my fault. I am trying to figure out why it is that the PETSc builds fail.

I'll update when I've fixed things.

I think I have fixed things. New installs should now hopefully be working again. If you've not run firedrake-update in the past few days, that should be safe. A failing install will have to be restarted from scratch. A failed update will need a little manual intervention. You'll have to reset the branch pointers for the petsc and petsc4py checkouts: $ cd $VIRTUAL_ENV/src/petsc $ git fetch $ git reset --hard origin/firedrake $ cd $VIRTUAL_ENV/src/petsc4py $ git fetch $ git reset --hard origin/firedrake $ firedrake-update --rebuild Apologies again for the issues. Please do shout if there are any further problems. Thanks, Lawrence