diff options
| author | joerg <joerg@pkgsrc.org> | 2010-01-27 18:19:27 +0000 |
|---|---|---|
| committer | joerg <joerg@pkgsrc.org> | 2010-01-27 18:19:27 +0000 |
| commit | 4e407e3569741dac80d43f58c2d852e255da3c2c (patch) | |
| tree | 562d017af261f94b704cff2dff30a02e5dc22f5d /devel/splint | |
| parent | 191a9e689c0993eb752fe5792acf8a6868594acc (diff) | |
| download | pkgsrc-4e407e3569741dac80d43f58c2d852e255da3c2c.tar.gz | |
DESTDIR support from Steven Drake.
Diffstat (limited to 'devel/splint')
| -rw-r--r-- | devel/splint/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index c0c201d55d7..9f1eaa0bf73 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.14 2009/03/03 08:58:23 rillig Exp $ +# $NetBSD: Makefile,v 1.15 2010/01/27 18:19:27 joerg Exp $ # DISTNAME= splint-3.1.2 @@ -11,10 +11,12 @@ MAINTAINER= pkgsrc-users@NetBSD.org HOMEPAGE= http://lclint.cs.virginia.edu/ COMMENT= Statically check C programs +PKG_DESTDIR_SUPPORT= user-destdir + USE_TOOLS+= gmake lex GNU_CONFIGURE= YES post-install: - ${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${PREFIX}/${PKGMANDIR}/man1 + ${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1 .include "../../mk/bsd.pkg.mk" |