Re: [petsc-dev] new configuration/compile system for PETSc