xref: /petsc/configure (revision d60d70cc9b74469062c0d998fe3bee4ea0ac5d1b)