devel/splint/Makefile

   1 # $NetBSD: Makefile,v 1.18 2012/10/31 11:19:47 asau Exp $
   2 #
   3
   4 DISTNAME=       splint-3.1.2.src
   5 PKGNAME=        ${DISTNAME:S/.src$//}
   6 CATEGORIES=     devel
   7 MASTER_SITES=   http://www.splint.org/downloads/
   8 EXTRACT_SUFX=   .tgz
   9
  10 MAINTAINER=     pkgsrc-users@NetBSD.org
  11 HOMEPAGE=       http://lclint.cs.virginia.edu/
  12 COMMENT=        Statically check C programs
  13 LICENSE=        gnu-gpl-v2
  14
  15 MAKE_JOBS_SAFE=         no
  16
  17 USE_TOOLS+=     gmake lex
  18 GNU_CONFIGURE=  YES
  19 USE_LANGUAGES=  c99
  20
  21 WRKSRC=         ${WRKDIR}/${PKGNAME_NOREV}
  22
  23 post-install:
  24         ${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1
  25
  26 .include "../../mk/bsd.pkg.mk"