# DISCLAIMER: Max Horn is the sole maintainer of this package.
# Please DO NOT MAKE MODIFICATIONS without informing the maintainer.
# Preferably, send a patch to me instead of making changes yourself!
# If that is not possible due to extra urgency, at least send me a mail.
#
# Explanation: I am sick and tired of getting back to my packages and
# discovering that people have messed with it. I am then forced to
# retrace their steps, find out who, when and why did make a certain
# change etc. -- i.e. it makes my life as maintainer harder.
# Furthermore, as maintainer I am responsible for problems caused by my
# packages. But I am not willing to take responsibility for something I
# did not do. In particular, for changes that other people introduced
# behind my back, no matter how good and noble their intentions were. As
# such, I may see myself forced to drop responsibility for (and hence,
# maintainership of) the affected package.

Package: splint
Version: 3.1.2
Revision: 1
Maintainer: Max Horn <max@quendi.de>

Source: http://www.splint.org/downloads/%n-%v.src.tgz
Source-MD5: 25f47d70bd9c8bdddf6b03de5949c4fd
SourceDirectory: %n-%v
PatchScript: perl -pi -e 's/__pid_t/pid_t/' src/osd.c
ConfigureParams: --mandir=%p/share/man --infodir=%p/share/info
InstallScript: make install DESTDIR=%d

DocFiles: README
Description: Statically checks C programs
DescDetail: <<
 Splint is a tool for statically checking C programs
 for security vulnerabilities and programming mistakes.
 More powerful checks are made possible by additional
 information given in source code annotations.
<<
DescPackaging: <<
 Previous versions by Sylvain Cuaz.

 Patch a bug in osd.c (this used to be pid_t in 3.1.1 but
 for unexplicable reasons they switched this to the Linux
 specific __pid_t in 3.1.2).
<<
Homepage: http://www.splint.org/
License: GPL