xref: /petsc/src/sys/makefile (revision 6d2d6fe12faed5098494f184c31fd60009c1debd)