Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

Name: splint
Version: 3.1.2
Release: alt2.qa1

Summary: Secure Programming Lint - annotation-assisted static program checker
Group: Development/C
License: GPLv2+
Url: http://www.splint.org
Packager: Slava Semushin <php-coder at altlinux.ru>

Source0: %url/downloads/%name-%version.src.tar.bz2
Source1: %url/manual/manual.html
Source2: %url/manual/manual.ps.bz2
Source3: %url/faq.html
Source4: %name-COPYRIGHT

Patch: %name-3.1.1-alt-man-hidden_links_fix.patch

Provides: lclint = %version
Obsoletes: lclint

# Automatically added by buildreq on Fri Sep 12 2003
BuildRequires: flex

%description
Splint 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

install -p -m644 %SOURCE1 %SOURCE2 %SOURCE3 .
install -p -m644 %SOURCE4 COPYRIGHT

%patch -p1

%build
%configure
# SMP-incompatible build.
make

%install
%make_install install DESTDIR=%buildroot
ln -s %name %buildroot%_bindir/lclint

%files
%doc COPYRIGHT README *.html *.ps*
%_bindir/*
%_datadir/%name
%_man1dir/%name.1.*

%changelog
…
Todas as alterações você pod ver aqui