diff options
Diffstat (limited to 'devel/happy/Makefile')
| -rw-r--r-- | devel/happy/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/devel/happy/Makefile b/devel/happy/Makefile index 2f19c084309..934a54c98d5 100644 --- a/devel/happy/Makefile +++ b/devel/happy/Makefile @@ -5,9 +5,9 @@ # $FreeBSD$ PORTNAME= happy -PORTVERSION= 1.11 +PORTVERSION= 1.13 CATEGORIES= devel -MASTER_SITES= http://www.haskell.org/happy/dist/1.11/ +MASTER_SITES= http://www.haskell.org/happy/dist/${PORTVERSION}/ DISTNAME= ${PORTNAME}-${PORTVERSION}-src MAINTAINER= simonmar@microsoft.com @@ -25,6 +25,8 @@ WRKSRC= ${WRKDIR}/${DISTNAME:S/-src//g} USE_GMAKE= yes GNU_CONFIGURE= yes +PLIST_SUB= HAPPY_VERSION=${PORTVERSION} + BOOT_COOKIE = ${WRKDIR}/.boot_done ${BOOT_COOKIE}: |