Re: [petsc-dev] Rebuilding pets-library only