make fails at build stage as it does not find yosys headers. The workaround is to go to ${WRKSRC} and run gmake and then resume.
