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 - [email protected] + +- 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 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee-uclibc.git</param> - <param name="changesrevision">71f0d25e41fd1d6147275c83a23bd79045ce8d12</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">4f2d7ce79759c308d17b1340c3340732f365db1d</param></service></servicedata> \ 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.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/.travis/klee.sh 2018-09-26 15:49:37.000000000 +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.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/.travis.yml 2018-09-26 15:49:37.000000000 +0200 @@ -64,7 +64,7 @@ # Install LLVM and the LLVM bitcode compiler we require to build KLEE - ${SRC_DIR}/.travis/install-llvm-and-runtime-compiler.sh # Install lit (llvm-lit is not available) - - sudo pip install lit + - sudo pip install lit==0.6.0 script: # Build uclibc - ${SRC_DIR}/.travis/uclibc.sh diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/README.klee new/klee-uclibc-1.0.0+git.20180926/README.klee --- old/klee-uclibc-1.0.0+git.20171011/README.klee 2017-10-11 23:56:26.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/README.klee 1970-01-01 01:00:00.000000000 +0100 @@ -1,45 +0,0 @@ -To compile uClibc for KLEE: - -1. Make sure llvm-config is in your PATH (or set using --with-llvm-config). - The LLVM version used by llvm-config should match the LLVM version - used by the C LLVM Bitcode compiler you intend to use in step 2. - -2. Make sure you have one of the following C LLVM compilers - - clang built in the LLVM tool directory (`llvm-config --bindir`) - - llvm-gcc in your PATH - - clang in your PATH - - The C compiler to be used will be looked for in the above order - with the first working compiler to be used. - - Note you can also force a particular C compiler by using the CC - environment variable or by using --with-cc with the configure - script. - -3. Run the configure script. - -$ ./configure --make-llvm-lib - - To see all options run - -$ ./configure --help - -4. By default a uClibc pre built `.config` file will be added to the uClibc - root directory by the configure script. This is done to make compilation easier - for users. However the --disable-prebuilt-config flag can be used to prevent a - `.config` file being added. If you wish to create your own `.config` you can do - so by running `make menuconfig` or `make config` after running the configure - script. - -5. Compile - -$ make - -You can also add optional flags by running adding KLEE_CFLAGS=... to -the end of the make line above. In particular, to compile printf, -which is excluded by default, use: - -make KLEE_CFLAGS="-DKLEE_SYM_PRINTF" - -To compile in optimized mode use the --enable-release flag. Warning -things might break if you do this. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/README.md new/klee-uclibc-1.0.0+git.20180926/README.md --- old/klee-uclibc-1.0.0+git.20171011/README.md 1970-01-01 01:00:00.000000000 +0100 +++ new/klee-uclibc-1.0.0+git.20180926/README.md 2018-09-26 15:49:37.000000000 +0200 @@ -0,0 +1,53 @@ +KLEE-uClibc +=========== + +[](https://travis-ci.org/klee/klee-uclibc) + +This is a modified version version of uClibc for KLEE. Please see README for information about uClibc. + +To build uClibc for KLEE: + +1. Make sure `llvm-config` is in your PATH (or set using + `--with-llvm-config`). The LLVM version used by `llvm-config` + should match the LLVM version used by the C LLVM Bitcode compiler + you intend to use in step 2. + +2. Make sure you have one of the following C LLVM compilers + - `clang` built in the LLVM tool directory (`llvm-config --bindir`) + - `clang` in your `PATH` + + The C compiler to be used will be looked for in the above order + with the first working compiler to be used. + + Note you can also force a particular C compiler by using the CC + environment variable or by using `--with-cc` with the configure + script. + +3. Run the configure script. + + ```$ ./configure --make-llvm-lib``` + + To see all options run + + ```$ ./configure --help``` + +4. By default a uClibc pre built `.config` file will be added to the + uClibc root directory by the configure script. This is done to make + compilation easier for users. However the + --disable-prebuilt-config flag can be used to prevent a `.config` + file being added. If you wish to create your own `.config` you can + do so by running `make menuconfig` or `make config` after running + the configure script. + +5. Compile + + ```$ make``` + + You can also add optional flags by running adding + `KLEE_CFLAGS=...` to the end of the make line above. In + particular, to compile printf, which is excluded by default, use: + + ```make KLEE_CFLAGS="-DKLEE_SYM_PRINTF"``` + + To compile in optimized mode use the `--enable-release` + flag. Warning things might break if you do this. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/klee-premade-configs/x86_64/config new/klee-uclibc-1.0.0+git.20180926/klee-premade-configs/x86_64/config --- old/klee-uclibc-1.0.0+git.20171011/klee-premade-configs/x86_64/config 2017-10-11 23:56:26.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/klee-premade-configs/x86_64/config 2018-09-26 15:49:37.000000000 +0200 @@ -105,8 +105,12 @@ # UCLIBC_HAS_CTYPE_CHECKED is not set # UCLIBC_HAS_CTYPE_ENFORCED is not set UCLIBC_HAS_WCHAR=y -# UCLIBC_HAS_LOCALE is not set +UCLIBC_HAS_LOCALE=y +UCLIBC_PREGENERATED_LOCALE_DATA=y +UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=y +UCLIBC_HAS_XLOCALE=y # UCLIBC_HAS_HEXADECIMAL_FLOATS is not set +# UCLIBC_HAS_GLIBC_DIGIT_GROUPING is not set # UCLIBC_HAS_GLIBC_CUSTOM_PRINTF is not set UCLIBC_PRINTF_SCANF_POSITIONAL_ARGS=9 # UCLIBC_HAS_SCANF_GLIBC_A_FLAG is not set diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/libc/misc/locale/locale.c new/klee-uclibc-1.0.0+git.20180926/libc/misc/locale/locale.c --- old/klee-uclibc-1.0.0+git.20171011/libc/misc/locale/locale.c 2017-10-11 23:56:26.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/libc/misc/locale/locale.c 2018-09-26 15:49:37.000000000 +0200 @@ -1313,7 +1313,7 @@ } #else if (!base) { - if ((base = malloc(sizeof(__uclibc_locale_t))) == NULL) { + if ((base = calloc(1, sizeof(__uclibc_locale_t))) == NULL) { return base; } _locale_init_l(base); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20171011/libc/stdlib/stdlib.c new/klee-uclibc-1.0.0+git.20180926/libc/stdlib/stdlib.c --- old/klee-uclibc-1.0.0+git.20171011/libc/stdlib/stdlib.c 2017-10-11 23:56:26.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20180926/libc/stdlib/stdlib.c 2018-09-26 15:49:37.000000000 +0200 @@ -64,7 +64,7 @@ #ifdef L_wcstoul #define wcstoull __ignore_wcstoull #endif -#ifdef strtol_l +#ifdef L_strtol_l #define strtoll_l __ignore_strtoll_l #endif #ifdef L_strtoul_l @@ -343,7 +343,7 @@ #else #undef strtoll #endif -extern __typeof(strtol) __XL_NPP(strtoll); +extern __typeof(__XL_NPP(strtol)) __XL_NPP(strtoll); libc_hidden_proto(__XL_NPP(strtoll)) strong_alias(__XL_NPP(strtol),__XL_NPP(strtoll)) libc_hidden_def(__XL_NPP(strtoll)) @@ -397,7 +397,7 @@ #else #undef strtoull #endif -extern __typeof(strtoul) __XL_NPP(strtoull); +extern __typeof(__XL_NPP(strtoul)) __XL_NPP(strtoull); libc_hidden_proto(__XL_NPP(strtoull)) strong_alias(__XL_NPP(strtoul),__XL_NPP(strtoull)) libc_hidden_def(__XL_NPP(strtoull)) @@ -1060,7 +1060,7 @@ #else #undef wcstoll #endif -extern __typeof(wcstol) __XL_NPP(wcstoll); +extern __typeof(__XL_NPP(wcstol)) __XL_NPP(wcstoll); libc_hidden_proto(__XL_NPP(wcstoll)) strong_alias(__XL_NPP(wcstol),__XL_NPP(wcstoll)) libc_hidden_def(__XL_NPP(wcstoll)) @@ -1114,7 +1114,7 @@ #else #undef wcstoull #endif -extern __typeof(wcstoul) __XL_NPP(wcstoull); +extern __typeof(__XL_NPP(wcstoul)) __XL_NPP(wcstoull); libc_hidden_proto(__XL_NPP(wcstoull)) strong_alias(__XL_NPP(wcstoul),__XL_NPP(wcstoull)) libc_hidden_def(__XL_NPP(wcstoull))
