Re: [petsc-dev] Fwd: [petsc-maint] Petsc configure Error on Edison on NERSC