Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2025-02-13 18:39:26
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.8181 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee"
Thu Feb 13 18:39:26 2025 rev:43 rq:1245536 version:3.1+20250106
Changes:
--------
--- /work/SRC/openSUSE:Factory/klee/klee.changes 2025-02-03
21:47:01.875210300 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new.8181/klee.changes 2025-02-13
18:39:38.081628173 +0100
@@ -1,0 +2,12 @@
+Thu Feb 13 06:38:42 UTC 2025 - Jiri Slaby <jsl...@suse.cz>
+
+- OK, bump to llvm 15 again, everything moved to 15 in the meantime
+
+-------------------------------------------------------------------
+Tue Feb 11 08:49:12 UTC 2025 - Jiri Slaby <jsl...@suse.cz>
+
+- support old distros
+ * use gcc-14 c++ headers
+ * add rpmlintrc filter for libkleeRuntest1_0
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ klee.spec ++++++
--- /var/tmp/diff_new_pack.Y8uQel/_old 2025-02-13 18:39:38.885661478 +0100
+++ /var/tmp/diff_new_pack.Y8uQel/_new 2025-02-13 18:39:38.885661478 +0100
@@ -16,7 +16,7 @@
#
-%define llvm_version 14
+%define llvm_version 15
%ifarch x86_64
%define with_uclibc 1
@@ -40,6 +40,9 @@
BuildRequires: clang%{llvm_version}
BuildRequires: cmake
+%if 0%{suse_version} < 1600
+BuildRequires: gcc14-c++
+%endif
BuildRequires: gperftools-devel
%if %{with_uclibc}
BuildRequires: klee-uclibc-devel-static(llvm%{llvm_version})
++++++ klee-rpmlintrc ++++++
--- /var/tmp/diff_new_pack.Y8uQel/_old 2025-02-13 18:39:38.961664626 +0100
+++ /var/tmp/diff_new_pack.Y8uQel/_new 2025-02-13 18:39:38.965664792 +0100
@@ -1,2 +1,3 @@
addFilter("devel-file-in-non-devel-package")
+addFilter("shlib-policy-name-error.*libkleeRuntest1_0")
