diff options
| author | tnn <tnn@pkgsrc.org> | 2015-03-06 19:36:33 +0000 |
|---|---|---|
| committer | tnn <tnn@pkgsrc.org> | 2015-03-06 19:36:33 +0000 |
| commit | 90f6d0d3a9cdccce11f351d7d7f40fb3efc96271 (patch) | |
| tree | aa1f030fc404c65fc1d76ae4cc4eb88a2f43ca86 /devel/pvs | |
| parent | 61f217cfe2866428f5a22f35bde24c7692b0ec34 (diff) | |
| download | pkgsrc-90f6d0d3a9cdccce11f351d7d7f40fb3efc96271.tar.gz | |
add a comment for the next person who ventures here
Diffstat (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 67838e9574a..77e3a73b52d 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,6 +1,11 @@ -# $NetBSD: Makefile,v 1.46 2013/02/17 19:18:00 dholland Exp $ +# $NetBSD: Makefile,v 1.47 2015/03/06 19:36:33 tnn Exp $ # +# This package is very outdated and should be built from sources +# rather than using Linux binaries. +# +# Sources are now distributed here: https://github.com/samowre/PVS + DISTNAME= pvs-${VERSION} PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} PKGREVISION= 4 |