xref: /petsc/configure (revision 301cee948fe97979038874094df824d40c0f5db0)