review.sourcearcade.org / libhwbase / f03ef4f2d47b9c2a14c62c3311fc24b0be01e90f / proof / Makefile.inc