xref: /petsc/configure (revision e157ba5d97673042e16d957decb624f3bf0271e3)