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 | |
| 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>
| -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 |