commit klee-uclibc for openSUSE:Factory

2020-09-24 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2020-09-24 16:14:54

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.4249 (New)


Package is "klee-uclibc"

Thu Sep 24 16:14:54 2020 rev:15 rq:836442 version:1.0.0+git.20200711

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2020-04-28 
22:30:07.529502446 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.4249/klee-uclibc.changes
2020-09-24 16:15:17.696961685 +0200
@@ -1,0 +2,7 @@
+Thu Sep 24 05:31:55 UTC 2020 - jsl...@suse.com
+
+- Update to version 1.0.0+git.20200711:
+  * Correcting use of 'lookForNew' and some rudimentary code tidying in 
'configure'
+- disable x86_32 as it is unsupported -- there are bugs in klee.
+
+---

Old:

  klee-uclibc-1.0.0+git.20190816.tar.xz

New:

  klee-uclibc-1.0.0+git.20200711.tar.xz



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.jtaCm7/_old  2020-09-24 16:15:19.428963417 +0200
+++ /var/tmp/diff_new_pack.jtaCm7/_new  2020-09-24 16:15:19.432963421 +0200
@@ -18,13 +18,13 @@
 
 %define llvm_version 10
 
-%define version_unconverted 1.0.0+git.20190816
+%define version_unconverted 1.0.0+git.20200711
 
 Name:   klee-uclibc
 Summary:Libc library for Klee
 License:LGPL-2.1-or-later
 Group:  Development/Languages/Other
-Version:1.0.0+git.20190816
+Version:1.0.0+git.20200711
 Release:0
 URL:https://github.com/klee/klee-uclibc
 Source0:%{name}-%{version}.tar.xz
@@ -37,7 +37,7 @@
 BuildRequires:  ncurses-devel
 BuildRequires:  python-base
 BuildRequires:  xz
-ExclusiveArch:  %{ix86} x86_64
+ExclusiveArch:  x86_64
 
 %description
 This is a port of uClibc to LLVM to serve Klee. Hence, this package
@@ -73,7 +73,6 @@
 install -m 0644 lib/libc.a %{buildroot}%{_libdir}/%{name}/lib/
 
 %files devel-static
-%defattr(-,root,root)
 %doc README README.md TODO
 %license COPYING.LIB
 %dir %{_libdir}/%{name}/

++ _servicedata ++
--- /var/tmp/diff_new_pack.jtaCm7/_old  2020-09-24 16:15:19.488963477 +0200
+++ /var/tmp/diff_new_pack.jtaCm7/_new  2020-09-24 16:15:19.488963477 +0200
@@ -1,4 +1,4 @@
 
 
 git://github.com/klee/klee-uclibc.git
-  95bff341a1df58020a39b6f99cc29f6babe4dc67
\ No newline at end of file
+  2a20e06561cb7f001883d06420185de0367126dd
\ No newline at end of file

++ klee-uclibc-1.0.0+git.20190816.tar.xz -> 
klee-uclibc-1.0.0+git.20200711.tar.xz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh 
new/klee-uclibc-1.0.0+git.20200711/.travis/install-llvm-and-runtime-compiler.sh
--- 
old/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh 
2019-08-16 17:40:54.0 +0200
+++ 
new/klee-uclibc-1.0.0+git.20200711/.travis/install-llvm-and-runtime-compiler.sh 
2020-07-11 19:03:50.0 +0200
@@ -1,23 +1,7 @@
 #!/bin/bash -x
 set -ev
 
-# Install newer compiler to support C++11
-sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
-sudo apt-get -qq update
-sudo apt-get -qq install g++-5
-sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 50
-sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 50
-
-export CC=gcc-5
-export CXX=g++-5
-
 sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev
-
-if [ "${LLVM_VERSION}" == "3.4" ]; then
-sudo apt-get install -y llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION}
-sudo update-alternatives --install /usr/bin/clang clang 
/usr/bin/clang-${LLVM_VERSION} 20
-sudo update-alternatives --install /usr/bin/clang++ clang++ 
/usr/bin/clang++-${LLVM_VERSION} 20
-else
-echo "Unknown LLVM version ${LLVM_VERSION}"
-exit 1
-fi
+sudo apt-get install -y clang-${LLVM_VERSION} llvm-${LLVM_VERSION}-tools
+sudo update-alternatives --install /usr/bin/clang clang 
/usr/bin/clang-${LLVM_VERSION} 20
+sudo update-alternatives --install /usr/bin/clang++ clang++ 
/usr/bin/clang++-${LLVM_VERSION} 20
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20190816/.travis/klee.sh 
new/klee-uclibc-1.0.0+git.20200711/.travis/klee.sh
--- old/klee-uclibc-1.0.0+git.20190816/.travis/klee.sh  2019-08-16 
17:40:54.0 +0200
+++ new/klee-uclibc-1.0.0+git.20200711/.travis/klee.sh  2020-07-11 
19:03:50.0 +0200
@@ -1,16 +1,10 @@
 #!/bin/bash -x
 # Make sure we exit if there is a failure
 set -e
-: ${SOLVERS?"Solvers

commit klee-uclibc for openSUSE:Factory

2020-04-28 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2020-04-28 22:30:05

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.2738 (New)


Package is "klee-uclibc"

Tue Apr 28 22:30:05 2020 rev:14 rq:798303 version:1.0.0+git.20190816

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2019-11-04 
17:15:58.188874139 +0100
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.2738/klee-uclibc.changes
2020-04-28 22:30:07.529502446 +0200
@@ -1,0 +2,5 @@
+Fri Apr 24 22:48:14 UTC 2020 - Aaron Puchert 
+
+- Switch to LLVM 10.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.w8CKHJ/_old  2020-04-28 22:30:08.501504260 +0200
+++ /var/tmp/diff_new_pack.w8CKHJ/_new  2020-04-28 22:30:08.505504267 +0200
@@ -1,7 +1,7 @@
 #
 # spec file for package klee-uclibc
 #
-# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2020 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 9
+%define llvm_version 10
 
 %define version_unconverted 1.0.0+git.20190816
 
@@ -26,7 +26,7 @@
 Group:  Development/Languages/Other
 Version:1.0.0+git.20190816
 Release:0
-Url:https://github.com/klee/klee-uclibc
+URL:https://github.com/klee/klee-uclibc
 Source0:%{name}-%{version}.tar.xz
 Source1:%{name}-rpmlintrc
 Source2:uClibc-locale-030818.tgz

commit klee-uclibc for openSUSE:Factory

2019-11-04 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2019-11-04 17:15:46

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.2990 (New)


Package is "klee-uclibc"

Mon Nov  4 17:15:46 2019 rev:13 rq:745087 version:1.0.0+git.20190816

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2019-10-04 
16:07:21.392609048 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.2990/klee-uclibc.changes
2019-11-04 17:15:58.188874139 +0100
@@ -1,0 +2,5 @@
+Mon Nov  4 06:52:30 UTC 2019 - Jiri Slaby 
+
+- switch to llvm 9
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.mfr4Cz/_old  2019-11-04 17:15:58.760874750 +0100
+++ /var/tmp/diff_new_pack.mfr4Cz/_new  2019-11-04 17:15:58.772874763 +0100
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 8
+%define llvm_version 9
 
 %define version_unconverted 1.0.0+git.20190816

commit klee-uclibc for openSUSE:Factory

2019-10-04 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2019-10-04 16:07:17

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.2352 (New)


Package is "klee-uclibc"

Fri Oct  4 16:07:17 2019 rev:12 rq:734973 version:1.0.0+git.20190816

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2019-08-22 
15:10:29.078458064 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.2352/klee-uclibc.changes
2019-10-04 16:07:21.392609048 +0200
@@ -1,0 +2,11 @@
+Fri Oct 04 11:08:45 UTC 2019 - jsl...@suse.com
+
+- Update to version 1.0.0+git.20190816:
+  * Add a message when the bitcode compiler is specified via CC,
+to help diagnose cases in which CC does not point to a valid
+bitcode compiler.
+  * Check if pointer size reflects architecture
+  * Use newer gcc to compile KLEE
+  * Fix compilation when __STDIO_HAS_OPENLIST is undefined
+
+---

Old:

  klee-uclibc-1.0.0+git.20180926.tar.xz

New:

  klee-uclibc-1.0.0+git.20190816.tar.xz



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.Midtl5/_old  2019-10-04 16:07:21.948607616 +0200
+++ /var/tmp/diff_new_pack.Midtl5/_new  2019-10-04 16:07:21.948607616 +0200
@@ -18,13 +18,13 @@
 
 %define llvm_version 8
 
-%define version_unconverted 1.0.0+git.20180926
+%define version_unconverted 1.0.0+git.20190816
 
 Name:   klee-uclibc
 Summary:Libc library for Klee
 License:LGPL-2.1-or-later
 Group:  Development/Languages/Other
-Version:1.0.0+git.20180926
+Version:1.0.0+git.20190816
 Release:0
 Url:https://github.com/klee/klee-uclibc
 Source0:%{name}-%{version}.tar.xz

++ _servicedata ++
--- /var/tmp/diff_new_pack.Midtl5/_old  2019-10-04 16:07:21.984607523 +0200
+++ /var/tmp/diff_new_pack.Midtl5/_new  2019-10-04 16:07:21.984607523 +0200
@@ -1,4 +1,4 @@
 
 
 git://github.com/klee/klee-uclibc.git
-  4f2d7ce79759c308d17b1340c3340732f365db1d
\ No newline at end of file
+  95bff341a1df58020a39b6f99cc29f6babe4dc67
\ No newline at end of file

++ klee-uclibc-1.0.0+git.20180926.tar.xz -> 
klee-uclibc-1.0.0+git.20190816.tar.xz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/klee-uclibc-1.0.0+git.20180926/.travis/install-llvm-and-runtime-compiler.sh 
new/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh
--- 
old/klee-uclibc-1.0.0+git.20180926/.travis/install-llvm-and-runtime-compiler.sh 
2018-09-26 15:49:37.0 +0200
+++ 
new/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh 
2019-08-16 17:40:54.0 +0200
@@ -1,6 +1,16 @@
 #!/bin/bash -x
 set -ev
 
+# Install newer compiler to support C++11
+sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
+sudo apt-get -qq update
+sudo apt-get -qq install g++-5
+sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 50
+sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 50
+
+export CC=gcc-5
+export CXX=g++-5
+
 sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev
 
 if [ "${LLVM_VERSION}" == "3.4" ]; then
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20180926/configure 
new/klee-uclibc-1.0.0+git.20190816/configure
--- old/klee-uclibc-1.0.0+git.20180926/configure2018-09-26 
15:49:37.0 +0200
+++ new/klee-uclibc-1.0.0+git.20190816/configure2019-08-16 
17:40:54.0 +0200
@@ -155,10 +155,10 @@
 sys.exit(1)
 
 
-if p == 'x86_64':
+if p == 'x86_64' and platform.architecture()[0] == '64bit':
 logging.info('Installing .config file')
 shutil.copy(configFile, os.path.join(uclibcRoot, '.config'))
-elif p == 'i686':
+elif p == 'i686' and platform.architecture()[0] == '32bit':
 logging.info('Installing .config file')
 shutil.copy(configFile, os.path.join(uclibcRoot, '.config'))
 else:
@@ -405,13 +405,14 @@
 if not cc:
 logging.error('Failed to find a working LLVM bitcode compiler')
 sys.exit(1)
+logging.info('Using LLVM Bitcode Compiler...{}'.format(cc))
 else:
+logging.info('Using LLVM Bitcode Compiler specified by CC 
...{}'.format(cc))
 if not testBitCodeCompiler(cc, llvmToolDir):
 logging.error('LLVM Bitcode compiler does not work')
 sys.exit(1)
 
 # Add compiler to substitutions
-logging.info('Using LLVM Bitcode

commit klee-uclibc for openSUSE:Factory

2019-08-22 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2019-08-22 15:04:51

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.7948 (New)


Package is "klee-uclibc"

Thu Aug 22 15:04:51 2019 rev:11 rq:725228 version:1.0.0+git.20180926

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2019-07-15 
22:43:48.235905309 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.7948/klee-uclibc.changes
2019-08-22 15:10:29.078458064 +0200
@@ -1,0 +2,6 @@
+Wed Aug 21 21:30:58 UTC 2019 - Aaron Puchert 
+
+- The build requires ncurses-devel, and this will soon no longer be
+  transitively included via llvm-devel.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.ve5a1K/_old  2019-08-22 15:10:29.566457937 +0200
+++ /var/tmp/diff_new_pack.ve5a1K/_new  2019-08-22 15:10:29.566457937 +0200
@@ -34,6 +34,7 @@
 BuildRequires:  clang%{llvm_version}
 BuildRequires:  llvm%{llvm_version}-devel
 BuildRequires:  make
+BuildRequires:  ncurses-devel
 BuildRequires:  python-base
 BuildRequires:  xz
 ExclusiveArch:  %{ix86} x86_64

commit klee-uclibc for openSUSE:Factory

2019-07-15 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2019-07-15 22:43:47

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.1887 (New)


Package is "klee-uclibc"

Mon Jul 15 22:43:47 2019 rev:10 rq:714129 version:1.0.0+git.20180926

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2018-12-04 
20:57:25.740646558 +0100
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.1887/klee-uclibc.changes
2019-07-15 22:43:48.235905309 +0200
@@ -1,0 +2,5 @@
+Mon Jul  1 23:09:14 UTC 2019 - Aaron Puchert 
+
+- Switch to LLVM 8.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.BNCL0v/_old  2019-07-15 22:43:48.919905147 +0200
+++ /var/tmp/diff_new_pack.BNCL0v/_new  2019-07-15 22:43:48.919905147 +0200
@@ -1,7 +1,7 @@
 #
 # spec file for package klee-uclibc
 #
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 7
+%define llvm_version 8
 
 %define version_unconverted 1.0.0+git.20180926

commit klee-uclibc for openSUSE:Factory

2018-12-04 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2018-12-04 20:57:23

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new.19453 (New)


Package is "klee-uclibc"

Tue Dec  4 20:57:23 2018 rev:9 rq:653716 version:1.0.0+git.20180926

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2018-09-03 
10:36:26.000875700 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.19453/klee-uclibc.changes   
2018-12-04 20:57:25.740646558 +0100
@@ -1,0 +2,12 @@
+Mon Oct 29 15:22:45 UTC 2018 - jsl...@suse.com
+
+- Update to version 1.0.0+git.20180926:
+  * Replaced README.klee with README.md, which now also includes a TravisCI 
build status.
+  * Revert lit to 0.6.0 version, as 0.7.0 misbehaves
+  * Backport uclibc PR 4964 to fix pointer error in newlocale
+  * Enable locale support for uclibc
+  * - Fix strtol*() with xlocale (on e.g. x86_64) (closes #2544)
+  * Disable default tcmalloc build for uclibc testing
+- switch to LLVM 7
+
+---

Old:

  klee-uclibc-1.0.0+git.20171011.tar.xz

New:

  klee-uclibc-1.0.0+git.20180926.tar.xz
  uClibc-locale-030818.tgz



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.46ymFj/_old  2018-12-04 20:57:26.180646072 +0100
+++ /var/tmp/diff_new_pack.46ymFj/_new  2018-12-04 20:57:26.180646072 +0100
@@ -1,7 +1,7 @@
 #
 # spec file for package klee-uclibc
 #
-# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -12,23 +12,24 @@
 # license that conforms to the Open Source Definition (Version 1.9)
 # published by the Open Source Initiative.
 
-# Please submit bugfixes or comments via http://bugs.opensuse.org/
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
 #
 
 
-%define llvm_version 6
+%define llvm_version 7
 
-%define version_unconverted 1.0.0+git.20171011
+%define version_unconverted 1.0.0+git.20180926
 
 Name:   klee-uclibc
 Summary:Libc library for Klee
-License:LGPL-2.1+
+License:LGPL-2.1-or-later
 Group:  Development/Languages/Other
-Version:1.0.0+git.20171011
+Version:1.0.0+git.20180926
 Release:0
 Url:https://github.com/klee/klee-uclibc
 Source0:%{name}-%{version}.tar.xz
 Source1:%{name}-rpmlintrc
+Source2:uClibc-locale-030818.tgz
 Patch1: proper-compiler-flags-check.patch
 BuildRequires:  clang%{llvm_version}
 BuildRequires:  llvm%{llvm_version}-devel
@@ -57,6 +58,8 @@
 %prep
 %setup -q
 %patch1 -p1
+cp %{SOURCE2} extra/locale/
+sed -i 's@UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=y@@' 
klee-premade-configs/x86_64/config
 
 %build
 ./configure \
@@ -70,7 +73,8 @@
 
 %files devel-static
 %defattr(-,root,root)
-%doc COPYING.LIB README README.klee TODO
+%doc README README.md TODO
+%license COPYING.LIB
 %dir %{_libdir}/%{name}/
 %dir %{_libdir}/%{name}/lib/
 %{_libdir}/%{name}/lib/libc.a

++ _servicedata ++
--- /var/tmp/diff_new_pack.46ymFj/_old  2018-12-04 20:57:26.216646033 +0100
+++ /var/tmp/diff_new_pack.46ymFj/_new  2018-12-04 20:57:26.216646033 +0100
@@ -1,4 +1,4 @@
 
 
 git://github.com/klee/klee-uclibc.git
-  71f0d25e41fd1d6147275c83a23bd79045ce8d12
\ No newline at end of file
+  4f2d7ce79759c308d17b1340c3340732f365db1d
\ No newline at end of file

++ klee-uclibc-1.0.0+git.20171011.tar.xz -> 
klee-uclibc-1.0.0+git.20180926.tar.xz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/.travis/klee.sh 
new/klee-uclibc-1.0.0+git.20180926/.travis/klee.sh
--- old/klee-uclibc-1.0.0+git.20171011/.travis/klee.sh  2017-10-11 
23:56:26.0 +0200
+++ new/klee-uclibc-1.0.0+git.20180926/.travis/klee.sh  2018-09-26 
15:49:37.0 +0200
@@ -65,6 +65,7 @@
   -DLLVM_CONFIG_BINARY="/usr/lib/llvm-${LLVM_VERSION}/bin/llvm-config" \
   -DLLVMCC="${KLEE_CC}" \
   -DLLVMCXX="${KLEE_CXX}" \
+  -DENABLE_TCMALLOC=OFF \
   ${KLEE_Z3_CONFIGURE_OPTION} \
   ${KLEE_UCLIBC_CONFIGURE_OPTION} \
   -DGTEST_SRC_DIR=${GTEST_SRC_DIR} \
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/.travis.yml 
new/klee-uclibc-1.0.0+git.20180926/.travis.yml
--- old/klee-uclibc-1.0.0+git.20171011/.travis.yml  2017-10-11 
23:56:26.0 +0200
+++ new/klee-uclibc-1.0.0+git.20180926/.travis.yml

commit klee-uclibc for openSUSE:Factory

2018-09-03 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2018-09-03 10:36:24

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Mon Sep  3 10:36:24 2018 rev:8 rq:632734 version:1.0.0+git.20171011

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2018-07-06 
10:45:26.283008865 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2018-09-03 10:36:26.000875700 +0200
@@ -1,0 +2,11 @@
+Sun Sep 02 09:35:18 UTC 2018 - jsl...@suse.com
+
+- Update to version 1.0.0+git.20171011:
+  * Updated Travis-CI to compile KLEE with CMake only
+  * Sort list of ar input files
+  * Removed support for LLVM 2.9
+  * configure: read kernel header location from environment variable
+  * features: support glibc 2.25
+- remove 0001-features-support-glibc-2.25.patch (in upstream)
+
+---

Old:

  0001-features-support-glibc-2.25.patch
  klee-uclibc-1.0.0+git.20170324.tar.xz

New:

  klee-uclibc-1.0.0+git.20171011.tar.xz



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.zIRivU/_old  2018-09-03 10:36:26.492876972 +0200
+++ /var/tmp/diff_new_pack.zIRivU/_new  2018-09-03 10:36:26.496876982 +0200
@@ -18,18 +18,17 @@
 
 %define llvm_version 6
 
-%define version_unconverted 1.0.0+git.20170324
+%define version_unconverted 1.0.0+git.20171011
 
 Name:   klee-uclibc
 Summary:Libc library for Klee
 License:LGPL-2.1+
 Group:  Development/Languages/Other
-Version:1.0.0+git.20170324
+Version:1.0.0+git.20171011
 Release:0
 Url:https://github.com/klee/klee-uclibc
 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
@@ -57,7 +56,6 @@
 
 %prep
 %setup -q
-%patch0 -p1
 %patch1 -p1
 
 %build

++ _servicedata ++
--- /var/tmp/diff_new_pack.zIRivU/_old  2018-09-03 10:36:26.536877086 +0200
+++ /var/tmp/diff_new_pack.zIRivU/_new  2018-09-03 10:36:26.536877086 +0200
@@ -1,4 +1,4 @@
 
 
 git://github.com/klee/klee-uclibc.git
-  7850ecb322da932922a9d85fc8d171ca6e0768f3
\ No newline at end of file
+  71f0d25e41fd1d6147275c83a23bd79045ce8d12
\ No newline at end of file

++ klee-uclibc-1.0.0+git.20170324.tar.xz -> 
klee-uclibc-1.0.0+git.20171011.tar.xz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/klee-uclibc-1.0.0+git.20170324/.travis/install-llvm-and-runtime-compiler.sh 
new/klee-uclibc-1.0.0+git.20171011/.travis/install-llvm-and-runtime-compiler.sh
--- 
old/klee-uclibc-1.0.0+git.20170324/.travis/install-llvm-and-runtime-compiler.sh 
2017-03-24 12:07:22.0 +0100
+++ 
new/klee-uclibc-1.0.0+git.20171011/.travis/install-llvm-and-runtime-compiler.sh 
2017-10-11 23:56:26.0 +0200
@@ -3,28 +3,11 @@
 
 sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev
 
-if [ "${LLVM_VERSION}" != "2.9" ]; then
+if [ "${LLVM_VERSION}" == "3.4" ]; then
 sudo apt-get install -y llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION}
 sudo update-alternatives --install /usr/bin/clang clang 
/usr/bin/clang-${LLVM_VERSION} 20
 sudo update-alternatives --install /usr/bin/clang++ clang++ 
/usr/bin/clang++-${LLVM_VERSION} 20
 else
-# Get llvm-gcc. We don't bother installing it
-wget http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
-tar -xjf llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
-mv llvm-gcc4.2-2.9-x86_64-linux llvm-gcc
-
-# Hack to make llvm-gcc capable of building a native executable
-OLD_DIR=$(pwd)
-cd llvm-gcc/lib/gcc/x86_64-unknown-linux-gnu/4.2.1
-ln -s /usr/lib/x86_64-linux-gnu/crt1.o
-ln -s /usr/lib/x86_64-linux-gnu/crti.o
-ln -s /usr/lib/x86_64-linux-gnu/crtn.o
-cd "$OLD_DIR"
-
-# Check it can compile hello world
-echo -e "#include  \n int main(int argc, char** argv) { 
printf(\"Hello World\"); return 0;}" > test.c
-export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
-export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
-llvm-gcc/bin/llvm-gcc test.c -o hello_world
-./hello_world
+echo "Unknown LLVM version ${LLVM_VERSION}"
+exit 1
 fi
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20170324/.travis/klee.sh 
new/klee-uclibc-1.0.0+git.20171011/.travis/klee.sh
---

commit klee-uclibc for openSUSE:Factory

2018-07-06 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2018-07-06 10:45:23

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Fri Jul  6 10:45:23 2018 rev:7 rq:621055 version:1.0.0+git.20170324

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2017-12-29 
18:51:51.512543386 +0100
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2018-07-06 10:45:26.283008865 +0200
@@ -1,0 +2,5 @@
+Sat Jun 16 09:34:29 UTC 2018 - jsl...@suse.com
+
+- switch to LLVM 6
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.wNBJSD/_old  2018-07-06 10:45:27.291007665 +0200
+++ /var/tmp/diff_new_pack.wNBJSD/_new  2018-07-06 10:45:27.295007660 +0200
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 4
+%define llvm_version 6
 
 %define version_unconverted 1.0.0+git.20170324

commit klee-uclibc for openSUSE:Factory

2017-12-29 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2017-12-29 18:51:38

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Fri Dec 29 18:51:38 2017 rev:6 rq:560177 version:1.0.0+git.20170324

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2017-12-21 
11:28:53.256883318 +0100
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2017-12-29 18:51:51.512543386 +0100
@@ -1,0 +2,6 @@
+Wed Dec 27 10:50:34 UTC 2017 - dims...@opensuse.org
+
+- Revert llvm_version back to 4: klee is not ready yet to build
+  using llvm5.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.MZOKdK/_old  2017-12-29 18:51:52.136364220 +0100
+++ /var/tmp/diff_new_pack.MZOKdK/_new  2017-12-29 18:51:52.136364220 +0100
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 5
+%define llvm_version 4
 
 %define version_unconverted 1.0.0+git.20170324

commit klee-uclibc for openSUSE:Factory

2017-12-21 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2017-12-21 11:28:52

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Thu Dec 21 11:28:52 2017 rev:5 rq:558570 version:1.0.0+git.20170324

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2017-07-08 
12:34:33.365128256 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2017-12-21 11:28:53.256883318 +0100
@@ -1,0 +2,6 @@
+Tue Dec 19 14:29:55 UTC 2017 - dims...@opensuse.org
+
+- Change llvm_Version to 5, following the switch of LLVM to version
+  5 in Tumbleweed.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.OIdU89/_old  2017-12-21 11:28:53.940849968 +0100
+++ /var/tmp/diff_new_pack.OIdU89/_new  2017-12-21 11:28:53.940849968 +0100
@@ -16,7 +16,7 @@
 #
 
 
-%define llvm_version 4
+%define llvm_version 5
 
 %define version_unconverted 1.0.0+git.20170324

commit klee-uclibc for openSUSE:Factory

2017-07-08 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2017-07-08 12:34:03

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Sat Jul  8 12:34:03 2017 rev:4 rq:508052 version:1.0.0+git.20170324

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2017-06-09 
15:57:22.024010696 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2017-07-08 12:34:33.365128256 +0200
@@ -1,0 +2,5 @@
+Tue Jun 27 08:41:03 UTC 2017 - jsl...@suse.com
+
+- require only base of python
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.kMQ1Ps/_old  2017-07-08 12:34:34.009037432 +0200
+++ /var/tmp/diff_new_pack.kMQ1Ps/_new  2017-07-08 12:34:34.013036868 +0200
@@ -34,7 +34,7 @@
 BuildRequires:  clang%{llvm_version}
 BuildRequires:  llvm%{llvm_version}-devel
 BuildRequires:  make
-BuildRequires:  python
+BuildRequires:  python-base
 BuildRequires:  xz
 ExclusiveArch:  %{ix86} x86_64

commit klee-uclibc for openSUSE:Factory

2017-06-09 Thread root 
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 
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 
---
 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; \

commit klee-uclibc for openSUSE:Factory

2017-05-06 Thread root 
Hello community,

here is the log from the commit of package klee-uclibc for openSUSE:Factory 
checked in at 2017-05-06 18:30:15

Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old)
 and  /work/SRC/openSUSE:Factory/.klee-uclibc.new (New)


Package is "klee-uclibc"

Sat May  6 18:30:15 2017 rev:2 rq:492739 version:1.0.0+git.20170324

Changes:

--- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes  2017-04-26 
21:43:59.545390629 +0200
+++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 
2017-05-06 18:30:24.904762245 +0200
@@ -1,0 +2,5 @@
+Fri Mar 31 11:52:33 UTC 2017 - jeng...@inai.de
+
+- Resolve some orthographic errors.
+
+---



Other differences:
--
++ klee-uclibc.spec ++
--- /var/tmp/diff_new_pack.AKOs5t/_old  2017-05-06 18:30:25.700649941 +0200
+++ /var/tmp/diff_new_pack.AKOs5t/_new  2017-05-06 18:30:25.704649377 +0200
@@ -37,9 +37,9 @@
 ExclusiveArch:  %{ix86} x86_64
 
 %description
-This is a port of uclibc to LLVM to serve for Klee. Hence, this packase
-provides a "static" library, but it is not composed of ELF objects. It is an
-LLVM bytecode packed by 'ar'. Klee uses this to emulate the POSIX runtime
+This is a port of uClibc to LLVM to serve Klee. Hence, this package
+provides a "static" library, but it is not composed of ELF objects, but is
+LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime
 development symbolically.
 
 %package devel-static
@@ -47,9 +47,9 @@
 Group:  Development/Languages/Other
 
 %description devel-static
-This is a port of uclibc to LLVM to serve for Klee. Hence, this packase
-provides a "static" library, but it is not composed of ELF objects. It is an
-LLVM bytecode packed by 'ar'. Klee uses this to emulate the POSIX runtime
+This is a port of uClibc to LLVM to serve Klee. Hence, this package
+provides a "static" library, but it is not composed of ELF objects, but is
+LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime
 development symbolically.
 
 %prep