]>
Commit | Line | Data |
---|---|---|
1 | %define prefix /usr | |
2 | %define ver 3.0.1.6 | |
3 | Summary: Splint - A tool for statically checking C programs | |
4 | Name: splint | |
5 | Version: %ver | |
6 | Release: 1 | |
7 | Copyright: MIT | |
8 | Url: http://www.splint.org | |
9 | ||
10 | Packager: Heiko Abraham, abrahamh@web.de | |
11 | Group: Development/Languages | |
12 | Source: %{name}-%{ver}.src.tgz | |
13 | ||
14 | BuildRoot: /var/tmp/%{name}-%{PACKAGE_VERSION}-root | |
15 | Requires: gcc | |
16 | ||
17 | ||
18 | ||
19 | ||
20 | ||
21 | %description | |
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. | |
27 | ||
28 | Please set environment variables: | |
29 | - LARCH_PATH=%{prefix}/share/splint/lib | |
30 | and | |
31 | - LCLIMPORTDIR=%{prefix}/share/splint/imports | |
32 | . | |
33 | ||
34 | %prep | |
35 | %setup -q | |
36 | ||
37 | %build | |
38 | CFLAGS="$RPM_OPT_FLAGS" ./configure --prefix=%{prefix} | |
39 | make | |
40 | ||
41 | %install | |
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 | |
48 | ||
49 | make DESTDIR=$RPM_BUILD_ROOT install | |
50 | ||
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} | |
55 | ||
56 | ||
57 | ||
58 | %post | |
59 | ||
60 | %preun | |
61 | ||
62 | ||
63 | ||
64 | %clean | |
65 | rm -rf $RPM_BUILD_ROOT/* | |
66 | rm -rf $RPM_BUILD_DIR/%{name}-%{PACKAGE_VERSION}/* | |
67 | ||
68 | ||
69 | ||
70 | ||
71 | %files | |
72 | %{prefix}/bin/splint | |
73 | %{prefix}/share/splint/imports/* | |
74 | %{prefix}/share/splint/lib/* | |
75 | %{prefix}/share/doc/%{name}-%{PACKAGE_VERSION}/* | |
76 | ||
77 | ||
78 | ||
79 | ||
80 | ||
81 |