Re: [petsc-dev] The problem about running an example in PETSc