[firedrake] Which PETSc version to use with firedrake?

[Buesing, Henrik]

> > can I somehow find out which PETSc version I have to use with
> > firedrake? I tried the development version, but petsc4py has not the
> > updated PetscOptionsGetReal implemented...
> 
> 
> Yes, buried a little in the installation documentation:
> http://firedrakeproject.org/obtaining_pyop2.html#petsc
> 
> we maintain forks of the petsc and petsc4py repositories which track
> master but have known-good pairings.
> 
> If you clone petsc from
> 
> http://bitbucket.org/mapdes/petsc
> 
> and petsc4py from
> 
> http://bitbucket.org/mapdes/petsc4py
> 
> and use the "firedrake" branch in both.  You get a version that we claim
> works with firedrake.  If they do not, please report a bug.

[Buesing, Henrik] This works! Thank you!

Henrik