Is there a neat way to switch between PETSc installations or does one have to rebuild dolfin? Thanks
Does that mean I would have to recompile dolfin? I would prefer not to, just to switch to a different petsc version.