Re: [petsc-dev] Truly minimal configure