pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/pvs This package depends on x11/tk because it in...
details: https://anonhg.NetBSD.org/pkgsrc/rev/b032f26d9238
branches: trunk
changeset: 486640:b032f26d9238
user: minskim <minskim%pkgsrc.org@localhost>
date: Fri Dec 31 11:40:31 2004 +0000
description:
This package depends on x11/tk because it installs a wish script; use
DEPENDS instead of buildlinking tk. Also relax the tk requirement so
that it can be used with Tk-8.4.
Bump PKGREVISION due to the dependency change.
diffstat:
devel/pvs/Makefile | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diffs (29 lines):
diff -r 73e603775c84 -r b032f26d9238 devel/pvs/Makefile
--- a/devel/pvs/Makefile Fri Dec 31 11:22:31 2004 +0000
+++ b/devel/pvs/Makefile Fri Dec 31 11:40:31 2004 +0000
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.15 2004/10/01 10:37:33 grant Exp $
+# $NetBSD: Makefile,v 1.16 2004/12/31 11:40:31 minskim Exp $
#
DISTNAME= pvs-${VERSION}
-PKGREVISION= 1
+PKGREVISION= 2
CATEGORIES= devel lang
MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
@@ -18,6 +18,7 @@
COMMENT= The PVS Specification and Verification System
DEPENDS+= teTeX>=1.0.7:../../print/teTeX
+DEPENDS+= tk>=8.0:../../x11/tk
WRKSRC= ${WRKDIR}
VERSION= 3.1
@@ -63,6 +64,5 @@
cd ${WRKSRC} && ${PAX} -s ,^./[.].*,, -rw . ${PREFIX}/pvs
${CHMOD} 755 ${PREFIX}/pvs/pvs
-.include "../../x11/tk83/buildlink3.mk"
.include "../../mk/emacs.mk"
.include "../../mk/bsd.pkg.mk"
Home |
Main Index |
Thread Index |
Old Index