diff options
Diffstat (limited to 'devel/ragel/Makefile')
| -rw-r--r-- | devel/ragel/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/devel/ragel/Makefile b/devel/ragel/Makefile index e7e24edf5692..bcf9d475f1a4 100644 --- a/devel/ragel/Makefile +++ b/devel/ragel/Makefile @@ -7,7 +7,7 @@ # PORTNAME= ragel -PORTVERSION= 1.3.1 +PORTVERSION= 1.3.2 CATEGORIES= devel MASTER_SITES= http://www.essemage.com/ragel/ @@ -17,6 +17,7 @@ USE_REINPLACE= yes USE_BISON= yes USE_GMAKE= yes GNU_CONFIGURE= yes +CONFIGURE_ENV= AWK="${AWK}" MAN1= ragel.1 @@ -24,4 +25,12 @@ post-patch: @${FIND} ${WRKSRC} -name "Makefile.in" | ${XARGS} ${REINPLACE_CMD} -e \ 's|-g -Wall|@CFLAGS@|g' +post-build: + @cd ${WRKSRC}/doc && ${SETENV} ${MAKE_ENV} \ + ${GMAKE} ${MAKE_FLAGS} ${MAKEFILE} ${MAKE_ARGS} ragel.1 + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/ragel ${PREFIX}/bin + ${INSTALL_MAN} ${WRKSRC}/doc/ragel.1 ${MANPREFIX}/man/man1 + .include <bsd.port.mk> |