diff options
Diffstat (limited to 'misc/dejagnu/Makefile')
| -rw-r--r-- | misc/dejagnu/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index 66f6befd421c..e223fcfe3ec2 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -6,18 +6,18 @@ # PORTNAME= dejagnu -PORTVERSION= 1.3 -CATEGORIES= misc tk80 +PORTVERSION= 1.4.0 +CATEGORIES= misc tcl83 tk83 MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= dejagnu -MAINTAINER= markm@FreeBSD.org +MAINTAINER= ports@FreeBSD.org RUN_DEPENDS= expect:${PORTSDIR}/lang/expect -WRKSRC= ${WRKDIR}/${DISTNAME}/dejagnu +USE_GMAKE= yes + +WRKSRC= ${WRKDIR}/dejagnu-1.4 GNU_CONFIGURE= yes -STRIP= -MAN1= runtest.1 .include <bsd.port.mk> |