xref: /petsc/src/tao/shell/makefile (revision 578a5ef50c6666763c80043d62d7ce0de47ac9c5)