produces:
makefiles (deprecated) bitcoin/verify.mk
consumes: