automatic rebuild by autodist [release 3.1.2-2mamba;Thu Aug 22 2013]

README.md

@@ -1,2 +1,5 @@
 # splint
 
+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.
+

splint.spec

@@ -0,0 +1,50 @@
+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