diff options
| author | obraun <obraun@FreeBSD.org> | 2002-10-19 05:48:19 +0800 |
|---|---|---|
| committer | obraun <obraun@FreeBSD.org> | 2002-10-19 05:48:19 +0800 |
| commit | 464e2169b884b40189ae14e031fc95b4a601344d (patch) | |
| tree | e481ca5c8f80fac627aa7e5761af989fd535eb39 /devel/ragel/Makefile | |
| parent | 6e48443af5473d6bd3c5da3ccbe35b326751478d (diff) | |
| download | freebsd-ports-gnome-464e2169b884b40189ae14e031fc95b4a601344d.tar.gz freebsd-ports-gnome-464e2169b884b40189ae14e031fc95b4a601344d.tar.zst freebsd-ports-gnome-464e2169b884b40189ae14e031fc95b4a601344d.zip | |
Upgrade to 1.3.2.
PR: 44224
Submitted by: KATO Tsuguru <tkato@prontomail.com>
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> |