Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2019-07-16 08:41:28 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.1887 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Tue Jul 16 08:41:28 2019 rev:16 rq:715366 version:2.0+20190507 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2019-05-28 09:43:05.545847872 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.1887/klee.changes 2019-07-16 08:41:31.523035922 +0200 @@ -1,0 +2,10 @@ +Mon Jul 12 23:35:27 UTC 2019 - Aaron Puchert <[email protected]> + +- Use -flto=thin instead of -flto=<number> for Clang. + +------------------------------------------------------------------- +Mon Jul 1 23:16:30 UTC 2019 - Aaron Puchert <[email protected]> + +- Switch to LLVM 8. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.smYN9o/_old 2019-07-16 08:41:32.111035605 +0200 +++ /var/tmp/diff_new_pack.smYN9o/_new 2019-07-16 08:41:32.115035603 +0200 @@ -16,7 +16,7 @@ # -%define llvm_version_major 7 +%define llvm_version_major 8 %define llvm_version_minor 0 %define llvm_version %{llvm_version_major} @@ -81,12 +81,20 @@ 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 \ ++++++ FileCheck.cpp ++++++ ++++ 1987 lines (skipped) ++++ between /work/SRC/openSUSE:Factory/klee/FileCheck.cpp ++++ and /work/SRC/openSUSE:Factory/.klee.new.1887/FileCheck.cpp ++++++ not.cpp ++++++ --- /var/tmp/diff_new_pack.smYN9o/_old 2019-07-16 08:41:32.191035562 +0200 +++ /var/tmp/diff_new_pack.smYN9o/_new 2019-07-16 08:41:32.195035560 +0200 @@ -13,7 +13,9 @@ // Will return true if cmd crashes (e.g. for testing crash reporting). #include "llvm/Support/Program.h" +#include "llvm/Support/WithColor.h" #include "llvm/Support/raw_ostream.h" + using namespace llvm; int main(int argc, const char **argv) { @@ -33,8 +35,8 @@ auto Program = sys::findProgramByName(argv[0]); if (!Program) { - errs() << "Error: Unable to find `" << argv[0] - << "' in PATH: " << Program.getError().message() << "\n"; + WithColor::error() << "unable to find `" << argv[0] + << "' in PATH: " << Program.getError().message() << "\n"; return 1; } @@ -53,7 +55,7 @@ Result = -3; #endif if (Result < 0) { - errs() << "Error: " << ErrMsg << "\n"; + WithColor::error() << ErrMsg << "\n"; if (ExpectCrash) return 0; return 1;
