devel/splint/Makefile

   1 # $NetBSD: Makefile,v 1.14 2009/03/03 08:58:23 rillig Exp $
   2 #
   3
   4 DISTNAME=       splint-3.1.2
   5 VERSION=        3.1.2
   6 CATEGORIES=     devel
   7 MASTER_SITES=   http://www.splint.org/downloads/
   8 DISTFILES=      ${DISTNAME}.src.tgz
   9
  10 MAINTAINER=     pkgsrc-users@NetBSD.org
  11 HOMEPAGE=       http://lclint.cs.virginia.edu/
  12 COMMENT=        Statically check C programs
  13
  14 PKG_DESTDIR_SUPPORT=    user-destdir
  15
  16 USE_TOOLS+=     gmake lex
  17 GNU_CONFIGURE=  YES
  18
  19 post-install:
  20         ${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1
  21
  22 .include "../../mk/bsd.pkg.mk"