xref: /petsc/configure (revision c38ccd7473612c211e327109f38f3569d36351c5)