Re: [petsc-users] Petsc configure error (cmake)