splint.spec

   1 Summary:        A tool for statically checking C programs
   2 Summary(pl.UTF-8):      Narzędzie do statycznego sprawdzania programów w C
   3 Name:           splint
   4 Version:        3.1.2
   5 Release:        1
   6 License:        GPL
   7 Group:          Development/Tools
   8 Source0:        http://www.splint.org/downloads/%{name}-%{version}.src.tgz
   9 # Source0-md5:  25f47d70bd9c8bdddf6b03de5949c4fd
  10 URL:            http://www.splint.org/
  11 BuildRequires:  automake
  12 BuildRequires:  rpm-perlprov
  13 Obsoletes:      lclint
  14 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  15
  16 %description
  17 Splint is a tool for statically checking C programs for security
  18 vulnerabilities and common programming mistakes. With minimal effort,
  19 Splint can be used as a better lint(1). If additional effort is
  20 invested adding annotations to programs, Splint can perform stronger
  21 checks than can be done by any standard lint.
  22
  23 %description -l pl.UTF-8
  24 Splint jest narzędziem do statycznego sprawdzania programów w C w
  25 zakresie naruszenia bezpieczeństwa i popularnych błędów
  26 programistycznych. Z małym wysiłkiem Splint może być używany jako
  27 lepszy lint(1). Przy dodatkowym wkładzie pracy w dodawanie komentarzy
  28 do programów Splint może wykonać silniejszą kontrolę niż standardowy
  29 lint.
  30
  31 %prep
  32 %setup -q
  33
  34 %build
  35 cp -f /usr/share/automake/config.* config
  36 %configure
  37 %{__make}
  38
  39 %install
  40 rm -rf $RPM_BUILD_ROOT
  41
  42 %{__make} install \
  43         DESTDIR=$RPM_BUILD_ROOT
  44
  45 %clean
  46 rm -rf $RPM_BUILD_ROOT
  47
  48 %files
  49 %defattr(644,root,root,755)
  50 %doc README
  51 %attr(755,root,root) %{_bindir}/splint
  52 %{_datadir}/splint
  53 %{_mandir}/man*/*