3 Summary: Splint - A tool for statically checking C programs
8 Url: http://www.splint.org
10 Packager: Heiko Abraham, abrahamh@web.de
11 Group: Development/Languages
12 Source: %{name}-%{ver}.src.tgz
14 BuildRoot: /var/tmp/%{name}-%{PACKAGE_VERSION}-root
22 Splint is a tool for statically checking C programs for security vulnerabilities
23 and common programming mistakes. With minimal effort, Splint can be used as a
24 better lint(1).If additional effort is invested adding annotations to programs,
25 Splint can perform stronger checks than can be done by any standard lint. For
26 full documentation, please see http://www.splint.org.
28 Please set environment variables:
29 - LARCH_PATH=%{prefix}/share/splint/lib
31 - LCLIMPORTDIR=%{prefix}/share/splint/imports
38 CFLAGS="$RPM_OPT_FLAGS" ./configure --prefix=%{prefix}
42 rm -rf $RPM_BUILD_ROOT
43 mkdir -p $RPM_BUILD_ROOT%{prefix}/bin
44 mkdir -p $RPM_BUILD_ROOT%{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}
45 mkdir -p $RPM_BUILD_ROOT%{prefix}/share/splint/imports
46 mkdir -p $RPM_BUILD_ROOT%{prefix}/share/splint/lib
47 mkdir -p $RPM_BUILD_ROOT%{prefix}/share/man/man1
49 make DESTDIR=$RPM_BUILD_ROOT install
51 # now install docs, why 'make install' will not do this
52 cp README $RPM_BUILD_ROOT%{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}
53 cp doc/*.html $RPM_BUILD_ROOT%{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}
54 cp doc/*.pdf $RPM_BUILD_ROOT%{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}
65 rm -rf $RPM_BUILD_ROOT/*
66 rm -rf $RPM_BUILD_DIR/%{name}-%{PACKAGE_VERSION}/*
73 %{prefix}/share/splint/imports/*
74 %{prefix}/share/splint/lib/*
75 %{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}/*