diff options
| author | asau <asau@pkgsrc.org> | 2012-10-31 11:16:30 +0000 |
|---|---|---|
| committer | asau <asau@pkgsrc.org> | 2012-10-31 11:16:30 +0000 |
| commit | a382ccc7b08ba66a8f6cca03850939f6a18f4b3e (patch) | |
| tree | 6eb09c25220d76b18e8b9066167d5ee3c96a3712 /devel/spin | |
| parent | d13e9ff49923be9fed7a66707e30849f0f901f64 (diff) | |
| download | pkgsrc-a382ccc7b08ba66a8f6cca03850939f6a18f4b3e.tar.gz | |
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Diffstat (limited to 'devel/spin')
| -rw-r--r-- | devel/spin/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index 6a2ce91b629..008f7cb3ad9 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.2 2012/06/18 03:42:25 dholland Exp $ +# $NetBSD: Makefile,v 1.3 2012/10/31 11:19:47 asau Exp $ DISTNAME= spin525 PKGNAME= spin-5.2.5 @@ -10,7 +10,6 @@ HOMEPAGE= http://spinroot.com/spin/whatispin.html COMMENT= Formal correctness prover LICENSE= spin-license -PKG_DESTDIR_SUPPORT= user-destdir INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 WRKSRC= ${WRKDIR}/Spin/Src5.2.5 |