xref: /petsc/configure (revision 052f0c415ea063466e52b40986166cf5e2441469)