Hello community,
here is the log from the commit of package klee-uclibc for openSUSE:Factory
checked in at 2017-06-09 15:57:20
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
and /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee-uclibc"
Fri Jun 9 15:57:20 2017 rev:3 rq:502371 version:1.0.0+git.20170324
Changes:
--------
--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes 2017-05-06
18:30:24.904762245 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes
2017-06-09 15:57:22.024010696 +0200
@@ -1,0 +2,7 @@
+Thu Jun 8 12:10:39 UTC 2017 - jsl...@suse.com
+
+- switch to LLVM 4
+- BuildRequire: python as it is needed for configure
+- add proper-compiler-flags-check.patch to kill the message flood
+
+-------------------------------------------------------------------
New:
----
proper-compiler-flags-check.patch
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ klee-uclibc.spec ++++++
--- /var/tmp/diff_new_pack.5Lkheu/_old 2017-06-09 15:57:22.855893283 +0200
+++ /var/tmp/diff_new_pack.5Lkheu/_new 2017-06-09 15:57:22.855893283 +0200
@@ -16,7 +16,7 @@
#
-%define llvm_version 3_8
+%define llvm_version 4
%define version_unconverted 1.0.0+git.20170324
@@ -30,9 +30,11 @@
Source0: %{name}-%{version}.tar.xz
Source1: %{name}-rpmlintrc
Patch0: 0001-features-support-glibc-2.25.patch
+Patch1: proper-compiler-flags-check.patch
BuildRequires: clang%{llvm_version}
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: make
+BuildRequires: python
BuildRequires: xz
ExclusiveArch: %{ix86} x86_64
@@ -45,6 +47,7 @@
%package devel-static
Summary: Libc library for Klee
Group: Development/Languages/Other
+Provides: %{name}-devel-static(llvm%{llvm_version})
%description devel-static
This is a port of uClibc to LLVM to serve Klee. Hence, this package
@@ -55,6 +58,7 @@
%prep
%setup -q
%patch0 -p1
+%patch1 -p1
%build
./configure \
++++++ proper-compiler-flags-check.patch ++++++
From: Jiri Slaby <jsl...@suse.cz>
Date: Sat, 11 Mar 2017 09:13:49 +0100
Subject: proper compiler flags check
Patch-mainline: no
Check the compiler flags with -Werror so that the output is not flooded
with unsupported options.
Signed-off-by: Jiri Slaby <jsl...@suse.cz>
---
Rules.mak | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
--- a/Rules.mak
+++ b/Rules.mak
@@ -127,7 +127,7 @@ endif
# A nifty macro to make testing gcc features easier
check_gcc=$(shell \
- if $(CC) $(1) -S -o /dev/null -xc /dev/null > /dev/null 2>&1; \
+ if $(CC) -Werror $(1) -S -o /dev/null -xc /dev/null > /dev/null 2>&1; \
then echo "$(1)"; else echo "$(2)"; fi)
check_as=$(shell \
if $(CC) -Wa,$(1) -Wa,-Z -c -o /dev/null -xassembler /dev/null >
/dev/null 2>&1; \
