51 lines
1.5 KiB
RPMSpec
51 lines
1.5 KiB
RPMSpec
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
|