xref: /petsc/configure (revision b022a5c136836438e4f06517ed69d7947f7243d0)