Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2018-01-16 09:43:00 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Tue Jan 16 09:43:00 2018 rev:7 rq:564487 version:1.4.0+20171026 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2017-11-27 22:17:07.501435544 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-01-16 09:43:01.595846660 +0100 @@ -1,0 +2,12 @@ +Mon Jan 15 07:49:05 UTC 2018 - [email protected] + +- 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 - [email protected] + +- add python3-setuptools BuildRequires, so that we have pkg_resources + for tests + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.IoSdnj/_old 2018-01-16 09:43:02.603799479 +0100 +++ /var/tmp/diff_new_pack.IoSdnj/_new 2018-01-16 09:43:02.607799293 +0100 @@ -75,6 +75,7 @@ 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 @@ 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
