xref: /petsc/configure (revision 488007ee1acab0733b75067bb91f1cbe92a349ff)