summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorjmmv <jmmv>2003-03-29 12:40:00 +0000
committerjmmv <jmmv>2003-03-29 12:40:00 +0000
commit95b3e3e2360a18f5efbc61ef85a063b7481be09f (patch)
treefaa47d38b96f7c3d479f826963ddfdc99b66acc3 /devel/pvs
parent4815b5463ae62763c7f76ef59cf137fd64490912 (diff)
downloadpkgsrc-95b3e3e2360a18f5efbc61ef85a063b7481be09f.tar.gz
Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile
index c828eb5e7f1..8fc1d9cc953 100644
--- a/devel/pvs/Makefile
+++ b/devel/pvs/Makefile
@@ -1,8 +1,9 @@
-# $NetBSD: Makefile,v 1.4 2003/01/04 22:00:08 jschauma Exp $
+# $NetBSD: Makefile,v 1.5 2003/03/29 12:40:38 jmmv Exp $
#
DISTNAME= pvs-${VERSION}
PKGREVISION= 1
+WRKSRC= ${WRKDIR}
CATEGORIES= devel lang
MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
@@ -20,7 +21,6 @@ COMMENT= The PVS Specification and Verification System
DEPENDS+= teTeX>=1.0.7:../../print/teTeX
VERSION= 3.0
-WRKSRC= ${WRKDIR}
NO_BUILD= # defined
CHECK_SHLIBS= NO
SHLIB_HANDLING= NO