You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
83 lines
3.0 KiB
83 lines
3.0 KiB
24 years ago
|
##
|
||
|
|
## splint.spec -- OpenPKG RPM Specification
|
||
|
|
## Copyright (c) 2000-2002 Cable & Wireless Deutschland GmbH
|
||
|
|
## Copyright (c) 2000-2002 The OpenPKG Project <http://www.openpkg.org/>
|
||
|
|
## Copyright (c) 2000-2002 Ralf S. Engelschall <rse@engelschall.com>
|
||
|
|
##
|
||
|
|
## Permission to use, copy, modify, and distribute this software for
|
||
|
|
## any purpose with or without fee is hereby granted, provided that
|
||
|
|
## the above copyright notice and this permission notice appear in all
|
||
|
|
## copies.
|
||
|
|
##
|
||
|
|
## THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
|
||
|
|
## WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
|
||
|
|
## MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
||
|
|
## IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
|
||
|
|
## CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
||
|
|
## SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
||
|
|
## LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
|
||
|
|
## USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
|
||
|
|
## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
||
|
|
## OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
|
||
|
|
## OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||
|
|
## SUCH DAMAGE.
|
||
|
|
##
|
||
|
|
|
||
|
|
# package information
|
||
|
|
Name: splint
|
||
|
|
Summary: C/C++ Source Lint Checker
|
||
|
|
URL: http://www.splint.org/
|
||
|
|
Vendor: Larch
|
||
|
|
Packager: The OpenPKG Project
|
||
|
|
Distribution: OpenPKG [EXP]
|
||
|
|
Group: Converter
|
||
|
|
License: GPL
|
||
|
|
Version: 3.0.1.6
|
||
|
|
Release: 20020212
|
||
|
|
|
||
|
|
# list of sources
|
||
|
|
Source0: http://www.splint.org/downloads/splint-%{version}.src.tgz
|
||
|
|
|
||
|
|
# build information
|
||
|
|
Prefix: %{l_prefix}
|
||
|
|
BuildRoot: %{l_buildroot}
|
||
|
|
BuildPreReq: OpenPKG, openpkg >= 20020206
|
||
|
|
PreReq: OpenPKG, openpkg >= 20020206
|
||
|
|
AutoReq: no
|
||
|
|
AutoReqProv: no
|
||
|
|
|
||
|
|
%description
|
||
|
|
Splint is a tool for statically checking C programs for security
|
||
|
|
vulnerabilities and programming mistakes. Splint does many of
|
||
|
|
the traditional lint checks including unused declarations, type
|
||
|
|
inconsistencies, use before definition, unreachable code, ignored
|
||
|
|
return values, execution paths with no return, likely infinite
|
||
|
|
loops, and fall through cases. More powerful checks are made
|
||
|
|
possible by additional information given in source code annotations.
|
||
|
|
Annotations are stylized comments that document assumptions about
|
||
|
|
functions, variables, parameters and types. In addition to the
|
||
|
|
checks specifically enabled by annotations, many of the traditional
|
||
|
|
lint checks are improved by exploiting this additional information.
|
||
|
|
|
||
|
|
%prep
|
||
|
|
%setup -q
|
||
|
|
|
||
|
|
%build
|
||
|
|
CC="%{l_cc}" \
|
||
|
|
CFLAGS="%{l_cflags -O}" \
|
||
|
|
./configure \
|
||
|
|
--prefix=%{l_prefix}
|
||
|
|
%{l_make} %{l_mflags -O}
|
||
|
|
|
||
|
|
%install
|
||
|
|
rm -rf $RPM_BUILD_ROOT
|
||
|
|
%{l_make} %{l_mflags} install AM_MAKEFLAGS="DESTDIR=$RPM_BUILD_ROOT"
|
||
|
|
strip $RPM_BUILD_ROOT%{l_prefix}/bin/* >/dev/null 2>&1 || true
|
||
|
|
%{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}
|
||
|
|
|
||
|
|
%files -f files
|
||
|
|
|
||
|
|
%clean
|
||
|
|
rm -rf $RPM_BUILD_ROOT
|
||
|
|
|