diff options
Diffstat (limited to 'devel/ragel/Makefile')
| -rw-r--r-- | devel/ragel/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/devel/ragel/Makefile b/devel/ragel/Makefile index 8dec87a1b9ed..e7e24edf5692 100644 --- a/devel/ragel/Makefile +++ b/devel/ragel/Makefile @@ -7,14 +7,21 @@ # PORTNAME= ragel -PORTVERSION= 1.3.0 +PORTVERSION= 1.3.1 CATEGORIES= devel MASTER_SITES= http://www.essemage.com/ragel/ MAINTAINER= ports@FreeBSD.org +USE_REINPLACE= yes USE_BISON= yes -GNU_CONFIGURE= yes USE_GMAKE= yes +GNU_CONFIGURE= yes + +MAN1= ragel.1 + +post-patch: + @${FIND} ${WRKSRC} -name "Makefile.in" | ${XARGS} ${REINPLACE_CMD} -e \ + 's|-g -Wall|@CFLAGS@|g' .include <bsd.port.mk> |