[petsc-users] Petsc and cmake