pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

enable uclibc

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=6
This commit is contained in:
Jiri Slaby 2017-03-02 14:12:24 +00:00 committed by Git OBS Bridge
parent 2560897075
commit a1752d2bff
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
klee.spec
View File

@ -19,6 +19,8 @@
%define version_unconverted 1.3.0+20170221 %define version_unconverted 1.3.0+20170221
%define with_uclibc 1
Name: klee Name: klee
Summary: LLVM Execution Engine Summary: LLVM Execution Engine
License: NCSA License: NCSA
@ -36,6 +38,9 @@ BuildRequires: clang%{llvm_version}
BuildRequires: cmake BuildRequires: cmake
BuildRequires: flex BuildRequires: flex
BuildRequires: gperftools-devel BuildRequires: gperftools-devel
%if %{with_uclibc}
BuildRequires: klee-uclibc
%endif
BuildRequires: libacl-devel BuildRequires: libacl-devel
BuildRequires: libcap-devel BuildRequires: libcap-devel
BuildRequires: libselinux-devel BuildRequires: libselinux-devel
@ -71,6 +76,11 @@ information on what KLEE is and what it can do, see the OSDI 2008 paper.
-DENABLE_SYSTEM_TESTS=OFF \ -DENABLE_SYSTEM_TESTS=OFF \
-DCMAKE_C_FLAGS="%optflags" \ -DCMAKE_C_FLAGS="%optflags" \
-DCMAKE_CXX_FLAGS="%optflags" \ -DCMAKE_CXX_FLAGS="%optflags" \
%if %{with_uclibc}
-DENABLE_POSIX_RUNTIME=ON \
-DENABLE_KLEE_UCLIBC=ON \
-DKLEE_UCLIBC_PATH=%{_libdir}/klee-uclibc/ \
%endif
-DBUILD_SHARED_LIBS:BOOL=OFF -DBUILD_SHARED_LIBS:BOOL=OFF
%make_jobs %make_jobs