xref: /petsc/src/dm/impls/plex/makefile (revision bb42e86ab3e4720245217a7cdcd02146569f06da)