kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/splint/Makefile

24 lines
530 B
Makefile
Raw Normal View History

Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
2006-03-04 22:28:51 +01:00
# $NetBSD: Makefile,v 1.10 2006/03/04 21:29:30 jlam Exp $
Initial import of splint 3.0.1.6. 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.
2002-11-27 15:39:14 +01:00
#
Update splint to 3.1.1. The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6 release. Among other improvements, the accuracy of the bounds checking code has improved; Splint can produce output in html or comma separated value(CSV) format; and support for numabstract types has been added. Additionally the code contains numerous bugs fixes and house keeping updates. (Details at http://www.splint.org/changes.html ) No list of changes available for the 3.1.1 release.
2005-04-10 18:49:59 +02:00
VERSION= 3.1.1
Initial import of splint 3.0.1.6. 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.
2002-11-27 15:39:14 +01:00
DISTNAME= splint-${VERSION}.src
PKGNAME= splint-${VERSION}
Recursive revision bump / recommended bump for gettext ABI change.
2006-02-06 00:08:03 +01:00
PKGREVISION= 1
Initial import of splint 3.0.1.6. 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.
2002-11-27 15:39:14 +01:00
CATEGORIES= devel
MASTER_SITES= http://www.splint.org/downloads/
EXTRACT_SUFX= .tgz
Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
2006-03-04 22:28:51 +01:00
MAINTAINER= pkgsrc-users@NetBSD.org
Initial import of splint 3.0.1.6. 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.
2002-11-27 15:39:14 +01:00
HOMEPAGE= http://lclint.cs.virginia.edu/
COMMENT= Statically check C programs
Move WRKSRC definition away from the first paragraph in a Makefile.
2004-01-20 13:07:06 +01:00
WRKSRC= ${WRKDIR}/splint-${VERSION}
Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison
2005-05-22 22:07:36 +02:00
USE_TOOLS+= gmake
Initial import of splint 3.0.1.6. 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.
2002-11-27 15:39:14 +01:00
GNU_CONFIGURE= YES
post-install:
${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${PREFIX}/man/man1
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink