Re: [petsc-dev] install petsc on windows 10 with mpi