poke-git: Also use pkgsrc version of makeinfo and flex

This commit is contained in:
Sijmen J. Mulder 2020-11-18 20:46:14 +01:00
parent 315dac82fe
commit 0aa2b0cb5d
1 changed files with 2 additions and 0 deletions

View File

@ -30,6 +30,8 @@ TOOL_DEPENDS+= bison>=3.6:../../devel/bison
TOOLS_PLATFORM.bison=
TOOLS_PLATFORM.bison-yacc=
TOOLS_PLATFORM.flex=
TOOLS_PLATFORM.makeinfo=
BOOTSTRAP_FLAGS+= --skip-po --no-git
BOOTSTRAP_FLAGS+= --gnulib-srcdir=${WRKSRC}/gnulib