xref: /petsc/configure (revision ae1d86c512131ada9f5281b8edbee35e22e50b6a)