Name:          splint
Version:       3.1.2
Release:       2mamba
Summary:       A tool for statically checking C programs for vulnerabilities and coding mistakes
Group:         Applications/Security
Vendor:        openmamba
Distribution:  openmamba
Packager:      Aleph0 <aleph0@openmamba.org>
URL:           http://lclint.cs.virginia.edu/
Source:        http://www.splint.org/downloads/splint-%{version}.src.tgz
License:       GPL
BuildRoot:     %{_tmppath}/%{name}-%{version}-root

%description
Splint (Secure Programming Lint) 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.

%prep
%setup -q

%build
%configure
%make

%install
[ "%{buildroot}" != / ] && rm -rf %{buildroot}
%makeinstall

%clean
[ "%{buildroot}" != / ] && rm -rf %{buildroot}

%files
%defattr(-,root,root)
%{_bindir}/splint
%dir %{_datadir}/splint
%{_datadir}/splint/imports/*
%{_datadir}/splint/lib/*
%{_mandir}/man1/splint.*
%doc README

%changelog
* Thu Aug 22 2013 Automatic Build System <autodist@mambasoft.it> 3.1.2-2mamba
- automatic rebuild by autodist

* Fri Feb 15 2008 Aleph0 <aleph0@openmamba.org> 3.1.2-1mamba
- update to 3.1.2
- new packager maintainer

* Wed Oct 26 2005 Davide Madrisan <davide.madrisan@qilinux.it> 3.1.1-1qilnx
- package created by autospec