diff options
| author | minskim <minskim@pkgsrc.org> | 2004-12-31 11:40:31 +0000 |
|---|---|---|
| committer | minskim <minskim@pkgsrc.org> | 2004-12-31 11:40:31 +0000 |
| commit | 5f3242bdf2de92b115b6d0fc66c646c595728c97 (patch) | |
| tree | bca6b9e373b4fb02069f29ad100adba46fcdece6 /devel/pvs | |
| parent | 451db544cef659e41b78e129277399555bd39aae (diff) | |
| download | pkgsrc-5f3242bdf2de92b115b6d0fc66c646c595728c97.tar.gz | |
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 (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 6c9c2b855a9..915ca7634f6 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -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 @@ HOMEPAGE= http://pvs.csl.sri.com/ 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 @@ do-install: 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" |