xref: /petsc/src/sys/makefile (revision c708e6cdbe6dd40a83683549e0c4c76c7255da18)