diff options
| author | wiedi <wiedi@pkgsrc.org> | 2015-01-16 23:53:04 +0000 |
|---|---|---|
| committer | wiedi <wiedi@pkgsrc.org> | 2015-01-16 23:53:04 +0000 |
| commit | 613921bee5f81c898cdd98d8f77962baaf2f41df (patch) | |
| tree | 6927a6331979f7f378fe834d35f1836438e7108f /cross | |
| parent | b892b615f197b776080e4667ecfc154a2ae626aa (diff) | |
| download | pkgsrc-613921bee5f81c898cdd98d8f77962baaf2f41df.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} |