diff options
Diffstat (limited to 'groups/dev_packages.group')
| -rw-r--r-- | groups/dev_packages.group | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/groups/dev_packages.group b/groups/dev_packages.group index 8a9ab769..42308564 100644 --- a/groups/dev_packages.group +++ b/groups/dev_packages.group @@ -62,6 +62,7 @@ DEV_PACKAGES_PYTHON="${PREFIX}/bin/python2"; : ${PKG_FLEX_SHA256SUM:=e87aae032bf07c26f85ac0ed3250998c37621d95f8bd748b31f15b33c45ee995}; : ${PKG_FLEX_VERSION:=2.6.4}; : ${PKG_FLEX_URL:=https://github.com/westes/flex/releases/download/v${PKG_FLEX_VERSION}/flex-${PKG_FLEX_VERSION}.tar.gz}; +: ${PKG_FLEX_CFLAGS_CONFIGURE_EXTRA:="-D_GNU_SOURCE"}; : ${PKG_FLEX_CONFIGURE_ARGS_EXTRA:=--disable-libfl}; : ${PKG_BISON_SHA256SUM:=55e4a023b1b4ad19095a5f8279f0dc048fa29f970759cea83224a6d5e7a3a641}; : ${PKG_BISON_VERSION:=3.5}; |