diff options
| author | wiedi <wiedi> | 2015-01-16 23:53:04 +0000 |
|---|---|---|
| committer | wiedi <wiedi> | 2015-01-16 23:53:04 +0000 |
| commit | 1cf1dba582a981f0e54de85f36e0aab02a22f7e1 (patch) | |
| tree | 6927a6331979f7f378fe834d35f1836438e7108f /cross | |
| parent | 33631cd70bd7aedaad3e5ebc84495c5ac39b3fec (diff) | |
| download | pkgsrc-1cf1dba582a981f0e54de85f36e0aab02a22f7e1.tar.gz | |
bulk build wants flex
Diffstat (limited to 'cross')
| -rw-r--r-- | cross/freemint-mintlib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cross/freemint-mintlib/Makefile b/cross/freemint-mintlib/Makefile index 45f31d20c88..c719bd9cf93 100644 --- a/cross/freemint-mintlib/Makefile +++ b/cross/freemint-mintlib/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.3 2014/01/19 07:43:14 ryoon Exp $ +# $NetBSD: Makefile,v 1.4 2015/01/16 23:53:04 wiedi Exp $ DISTNAME= mintlib-CVS-20131219 PKGNAME= cross-freemint-${DISTNAME:S/CVS-//} @@ -28,7 +28,7 @@ FREEMINT_PREFIX= ${PREFIX}/cross-freemint CONFIGURE_DIRS= ${GCCNAME}bin CONFIGURE_SCRIPT= ../${GCCNAME}/configure -USE_TOOLS+= bash:run gmake makeinfo bison +USE_TOOLS+= bash:run gmake makeinfo bison flex GNU_CONFIGURE= yes GNU_CONFIGURE_PREFIX= ${FREEMINT_PREFIX} |