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

Accepting request 564487 from devel:tools:statica

Browse Source 
- change "env python" to "python3" in tests, so that we can build and
  depend on py3 only
- add python3-setuptools BuildRequires, so that we have pkg_resources
  for tests

OBS-URL: https://build.opensuse.org/request/show/564487
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=7
This commit is contained in:
Dominique Leuenberger 2018-01-16 08:43:00 +00:00 committed by Git OBS Bridge
commit e782cc3eba
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
klee.changes
View File

@ -1,3 +1,15 @@
-------------------------------------------------------------------
Mon Jan 15 07:49:05 UTC 2018 - jslaby@suse.com
- change "env python" to "python3" in tests, so that we can build and
depend on py3 only
-------------------------------------------------------------------
Mon Jan 8 07:18:25 UTC 2018 - jslaby@suse.com
- add python3-setuptools BuildRequires, so that we have pkg_resources
for tests
-------------------------------------------------------------------
Fri Nov 17 17:01:38 UTC 2017 - jslaby@suse.com

5
klee.spec
View File

@ -75,6 +75,7 @@ BuildRequires: lit
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
BuildRequires: python3-base
BuildRequires: python3-setuptools
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
@ -112,6 +113,10 @@ mkdir -p build/test/
cp %{SOURCE2} build/test/
cp %{SOURCE3} build/test/
sed -i '1s@env python@python3@' test/Concrete/ConcreteTest.py \
tools/klee-stats/klee-stats \
tools/ktest-tool/ktest-tool
%build
%define __builder ninja
# they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS