Package: splint Version: 3.1.1 Revision: 1 Maintainer: None Source: http://www.splint.org/downloads/%n-%v.src.tgz SourceDirectory: %n-%v ConfigureParams: --mandir=%p/share/man --infodir=%p/share/info SetCPPFLAGS: -no-cpp-precomp #InstallScript: << #make install DESTDIR=%d #mkdir -p %i/share/man/man1 #install doc/%n.1 %i/share/man/man1 #<< 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. install man page because the doc Makefile doesn't contain an install rule << Homepage: http://www.splint.org/ License: GPL Source-MD5: 91635d98644312302f6f16abe73c2474