diff options
| author | jmmv <jmmv@pkgsrc.org> | 2003-03-29 12:40:00 +0000 |
|---|---|---|
| committer | jmmv <jmmv@pkgsrc.org> | 2003-03-29 12:40:00 +0000 |
| commit | 0916498c1b6dd1e6312100e3813722d9ec0a3ae4 (patch) | |
| tree | faa47d38b96f7c3d479f826963ddfdc99b66acc3 /devel/pvs | |
| parent | 027ce626821d991bc282a370598c738be6c3e12e (diff) | |
| download | pkgsrc-0916498c1b6dd1e6312100e3813722d9ec0a3ae4.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/Makefile | 4 |
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 |