File klee-uclibc.spec of Package klee-uclibc

Overview Repositories Revisions Requests Users Attributes Meta

File klee-uclibc.spec of Package klee-uclibc (Revision e8d562ef8950307b5fb7f797da1e8019)

Currently displaying revision e8d562ef8950307b5fb7f797da1e8019 , Show latest

#
# spec file for package klee-uclibc
#
# Copyright (c) 2017 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/
#

%define llvm_version 6

%define version_unconverted 1.0.0+git.20171011

Name:           klee-uclibc
Summary:        Libc library for Klee
License:        LGPL-2.1+
Group:          Development/Languages/Other
Version:        1.0.0+git.20171011
Release:        0
Url:            https://github.com/klee/klee-uclibc
Source0:        %{name}-%{version}.tar.xz
Source1:        %{name}-rpmlintrc
Patch1:         proper-compiler-flags-check.patch
BuildRequires:  clang%{llvm_version}
BuildRequires:  llvm%{llvm_version}-devel
BuildRequires:  make
BuildRequires:  python-base
BuildRequires:  xz
ExclusiveArch:  %{ix86} x86_64

%description
This is a port of uClibc to LLVM to serve Klee. Hence, this package
provides a "static" library, but it is not composed of ELF objects, but is
LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime
development symbolically.

%package devel-static
Summary:        Libc library for Klee
Group:          Development/Languages/Other
Provides:       %{name}-devel-static(llvm%{llvm_version})

%description devel-static
This is a port of uClibc to LLVM to serve Klee. Hence, this package
provides a "static" library, but it is not composed of ELF objects, but is
LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime
development symbolically.

%prep
%setup -q
%patch1 -p1

%build
./configure \
	--make-llvm-lib \
	--enable-release
make %{?_smp_mflags} V=1 lib/libc.a

%install
install -d %{buildroot}%{_libdir}/%{name}/lib/
install -m 0644 lib/libc.a %{buildroot}%{_libdir}/%{name}/lib/

%files devel-static
%defattr(-,root,root)
%doc COPYING.LIB README README.klee TODO
%dir %{_libdir}/%{name}/
%dir %{_libdir}/%{name}/lib/
%{_libdir}/%{name}/lib/libc.a

%changelog

Places

File klee-uclibc.spec of Package klee-uclibc (Revision e8d562ef8950307b5fb7f797da1e8019)

Places