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

Accepting request 715017 from home:aaronpuchert:branches:devel:tools:statica

Browse Source 
- Use -flto=thin instead of -flto=<number> for Clang.

OBS-URL: https://build.opensuse.org/request/show/715017
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=71
This commit is contained in:
Jiri Slaby 2019-07-15 05:31:47 +00:00 committed by Git OBS Bridge
parent f18b2810f7
commit c32d8a5e2f
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
klee.changes
View File

@ -1,3 +1,8 @@
-------------------------------------------------------------------
Mon Jul 12 23:35:27 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Use -flto=thin instead of -flto=<number> for Clang.
-------------------------------------------------------------------
Mon Jul 1 23:16:30 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>

8
klee.spec
View File

@ -81,12 +81,20 @@ sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
tools/ktest-tool/ktest-tool
%build
# Make _lto_cflags compatible with Clang. On some arches, it doesn't work.
%ifarch x86_64 %{ix86} ppc64le s390x
%define _lto_cflags "-flto=thin"
%else
%define _lto_cflags %{nil}
%endif
%define __builder ninja
# they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS
# SHARED libs do not work at all yet
%cmake \
-DCMAKE_C_COMPILER=clang \
-DCMAKE_CXX_COMPILER=clang++ \
-DCMAKE_AR=%{_bindir}/llvm-ar \
-DCMAKE_RANLIB=%{_bindir}/llvm-ranlib \
-DENABLE_DOXYGEN=OFF \
-DENABLE_SOLVER_STP=ON \
-DENABLE_TCMALLOC=ON \