Re: [firedrake] Which PETSc version to use with firedrake?

...

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