Re: [petsc-dev] [petsc-users] How to include PETSc in an Eclipse CDT project