0353b22f3d
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint. Splint 3.0 is the successor to LCLint 2.5.
23 lines
513 B
Makefile
23 lines
513 B
Makefile
# $NetBSD: Makefile,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
|
|
#
|
|
|
|
VERSION= 3.0.1.6
|
|
DISTNAME= splint-${VERSION}.src
|
|
PKGNAME= splint-${VERSION}
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://www.splint.org/downloads/
|
|
EXTRACT_SUFX= .tgz
|
|
|
|
MAINTAINER= packages@netbsd.org
|
|
HOMEPAGE= http://lclint.cs.virginia.edu/
|
|
COMMENT= Statically check C programs
|
|
|
|
WRKSRC= ${WRKDIR}/splint-${VERSION}
|
|
|
|
USE_GMAKE= YES
|
|
GNU_CONFIGURE= YES
|
|
|
|
post-install:
|
|
${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${PREFIX}/man/man1
|
|
|
|
.include "../../mk/bsd.pkg.mk"
|