summaryrefslogtreecommitdiff
path: root/devel/splint
AgeCommit message (Collapse)AuthorFilesLines
2007-02-22Whitespace cleanup, courtesy of pkglint.wiz1-2/+2
Patch provided by Sergey Svishchev in private mail.
2006-12-02Fixed PKGMANDIR.rillig1-2/+2
2006-09-16On Solaris, <stdbool.h> is not usable unless the C compiler is marked asrillig2-6/+6
a C99 compiler.
2006-06-08USE_TOOLS+=lexminskim1-2/+2
2006-03-04Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where nojlam1-2/+2
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-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-1/+2
2005-08-31Allow splint to actually work under NetBSD by applying patchjschauma2-1/+15
from FreeBSD (PR ports/61131).
2005-05-31Added a patch that works around a missing <stdbool.h> header.rillig2-1/+22
Fixes PR 30014.
2005-05-22Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:jlam1-2/+2
USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison
2005-04-10Update splint to 3.1.1.jschauma2-6/+6
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-02-23Add RMD160 digests.agc1-1/+2
2004-01-22replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.grant1-2/+2
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
2003-05-06Drop trailing whitespace. Ok'ed by wiz.jmmv1-1/+1
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-3/+2
2002-11-27Initial import of splint 3.0.1.6.mjl4-0/+91
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.