xref: /petsc/config/BuildSystem/docs/makefile (revision 0a7e80ddf00b85a8bec408344d0bbd42e7f7dbd2)