diff options
| author | Oliver Braun <obraun@FreeBSD.org> | 2002-10-18 21:48:19 +0000 |
|---|---|---|
| committer | Oliver Braun <obraun@FreeBSD.org> | 2002-10-18 21:48:19 +0000 |
| commit | 7b4bff24651a3b71d0ac8a6d09893928e27142c2 (patch) | |
| tree | 7ddf5965c8de3d738dc52261902f57ec8b34de93 /devel/ragel | |
| parent | daaab4406acaf3c0c62675273a0a4e656a49a2c6 (diff) | |
| download | ports-7b4bff24651a3b71d0ac8a6d09893928e27142c2.tar.gz ports-7b4bff24651a3b71d0ac8a6d09893928e27142c2.zip | |
Notes
Diffstat (limited to 'devel/ragel')
| -rw-r--r-- | devel/ragel/Makefile | 11 | ||||
| -rw-r--r-- | devel/ragel/distinfo | 2 |
2 files changed, 11 insertions, 2 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> diff --git a/devel/ragel/distinfo b/devel/ragel/distinfo index 26e91a07636f..2558d50a060b 100644 --- a/devel/ragel/distinfo +++ b/devel/ragel/distinfo @@ -1 +1 @@ -MD5 (ragel-1.3.1.tar.gz) = 70be60520f011385501b8a57339b1fb5 +MD5 (ragel-1.3.2.tar.gz) = 8b199a15e15826ee24cc5184f994e2bc |