Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Name: splint
Version: 3.1.1
Release: alt2

Summary: Secure Programming Lint - annotation-assisted static program checker
Group: Development/C
License: GPL
Url: http://www.splint.org

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

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 -q
%__install -p -m644 %SOURCE1 %SOURCE2 %SOURCE3 .
%__install -p -m644 %SOURCE4 COPYRIGHT

%build
%configure
# SMP-incompatible build.
make

%install
%make_install install DESTDIR=$RPM_BUILD_ROOT
%__ln_s %name $RPM_BUILD_ROOT%_bindir/lclint

%files
%_bindir/*
%_datadir/%name
%_mandir/man?/*
%doc COPYRIGHT README *.html *.ps*

%changelog
…
Полный changelog можно просмотреть здесь