diff options
author | agc <agc> | 2004-01-20 12:07:06 +0000 |
---|---|---|
committer | agc <agc> | 2004-01-20 12:07:06 +0000 |
commit | 06f56759ab83097f935dffe578fb2580c3043d6b (patch) | |
tree | 28fc431efa48feea798736cefee933a6529a5c91 /devel/pvs | |
parent | 4d370739c847b8a33d050da71dc46a270cd4b967 (diff) | |
download | pkgsrc-06f56759ab83097f935dffe578fb2580c3043d6b.tar.gz |
Move WRKSRC definition away from the first paragraph in a Makefile.
Diffstat (limited to 'devel/pvs')
-rw-r--r-- | devel/pvs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index a31a3927e6d..6913f86210f 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.9 2003/08/09 10:44:47 seb Exp $ +# $NetBSD: Makefile,v 1.10 2004/01/20 12:13:29 agc Exp $ # DISTNAME= pvs-${VERSION} -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}/ \ @@ -19,6 +18,7 @@ COMMENT= The PVS Specification and Verification System DEPENDS+= teTeX>=1.0.7:../../print/teTeX +WRKSRC= ${WRKDIR} VERSION= 3.1 NO_BUILD= # defined CHECK_SHLIBS= NO |