openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File smatch.spec of Package smatch

#
# spec file for package smatch
#
# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#

Name:           smatch
Version:        20160307
Release:        0
Summary:        Static analysis tool for C
License:        GPL-2.0
Group:          Development/Tools/Building
Url:            http://smatch.sf.net
Source:         %{name}-%{version}.tar.xz
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  gcc
BuildRequires:  make
BuildRequires:  pkg-config
BuildRequires:  sqlite3-devel
BuildRequires:  xz

%description
Smatch is a static analysis tool for C. Most of the checks are for the linux
kernel. Please write checks for your project. It's fun and easy!

%prep
%setup -q

%build
make %{?_smp_mflags} CFLAGS="%{optflags}" PREFIX=%{_prefix} LIBDIR=%{_libdir} \
	PKGCONFIGDIR=%{_datadir}/pkgconfig

%install
%{makeinstall} PREFIX=%{_prefix} LIBDIR=%{_libdir} \
	PKGCONFIGDIR=%{_datadir}/pkgconfig

# sparse stuff
rm -rf $RPM_BUILD_ROOT/%{_bindir}/cgcc
rm -rf $RPM_BUILD_ROOT/%{_includedir}/sparse
rm -rf $RPM_BUILD_ROOT/%{_libdir}/*a
rm -rf $RPM_BUILD_ROOT/%{_mandir}/man*/{sparse,cgcc}*
rm -rf $RPM_BUILD_ROOT/%{_datadir}/pkgconfig

%files
%defattr(-,root,root)
%doc LICENSE Documentation/smatch*
%{_bindir}/smatch
%{_datadir}/%{name}

%changelog

Places

File smatch.spec of Package smatch

Places