Репозитории ALT
S: | 3.1.2-alt2.qa1 |
5.1: | 3.1.2-alt2 |
4.1: | 3.1.2-alt1 |
4.0: | 3.1.1-alt2 |
3.0: | 3.1.1-alt2 |
Группа :: Разработка/C
Пакет: splint
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and 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
…
Полный changelog можно просмотреть здесь
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
…
Полный changelog можно просмотреть здесь