summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/splint/Makefile6
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"