File klee-uclibc.changes of Package klee-uclibc
-------------------------------------------------------------------
Wed Aug 21 21:30:58 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- The build requires ncurses-devel, and this will soon no longer be
transitively included via llvm-devel.
-------------------------------------------------------------------
Mon Jul 1 23:09:14 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Switch to LLVM 8.
-------------------------------------------------------------------
Mon Oct 29 15:22:45 UTC 2018 - jslaby@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
-------------------------------------------------------------------
Sun Sep 02 09:35:18 UTC 2018 - jslaby@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)
-------------------------------------------------------------------
Sat Jun 16 09:34:29 UTC 2018 - jslaby@suse.com
- switch to LLVM 6
-------------------------------------------------------------------
Wed Dec 27 10:50:34 UTC 2017 - dimstar@opensuse.org
- Revert llvm_version back to 4: klee is not ready yet to build
using llvm5.
-------------------------------------------------------------------
Tue Dec 19 14:29:55 UTC 2017 - dimstar@opensuse.org
- Change llvm_Version to 5, following the switch of LLVM to version
5 in Tumbleweed.
-------------------------------------------------------------------
Tue Jun 27 08:41:03 UTC 2017 - jslaby@suse.com
- require only base of python
-------------------------------------------------------------------
Thu Jun 8 12:10:39 UTC 2017 - jslaby@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
-------------------------------------------------------------------
Fri Mar 31 11:52:33 UTC 2017 - jengelh@inai.de
- Resolve some orthographic errors.
-------------------------------------------------------------------
Thu Mar 30 07:35:43 UTC 2017 - jslaby@suse.com
- Change license to LGPL-2.1+, the same as is in uClibc in Factory
-------------------------------------------------------------------
Fri Mar 24 11:17:05 UTC 2017 - jslaby@suse.com
- Update to version 1.0.0+git.20170324:
* Enable program_invocation_name feature
* Enable C99 math by default
* Hack the `libm_*()` macros to be no-ops like we do with the `libc_*()` macros. See 7217b2a28e792c1118244ad897346c6c2b6cba41 for the reasoning here.
* Added Travis-CI integration. The script is heavily based on the one used in KLEE.
-------------------------------------------------------------------
Thu Mar 23 17:08:27 UTC 2017 - jengelh@inai.de
- Avoid unnecessary %__-type macro indirections.
-------------------------------------------------------------------
Mon Mar 20 10:13:49 UTC 2017 - jslaby@suse.com
- kill the main package
-------------------------------------------------------------------
Fri Mar 17 08:13:58 UTC 2017 - jslaby@suse.com
- split into -devel-static
-------------------------------------------------------------------
Sat Mar 11 08:12:54 UTC 2017 - jslaby@suse.com
- add glibc 2.25 support: 0001-features-support-glibc-2.25.patch
-------------------------------------------------------------------
Thu Mar 02 13:16:43 UTC 2017 - jslaby@suse.com
- Update to version 1.0.0+20131211:
* Added a hack originally added by DWD that prevented compiliation errors.
* Fixed build on i686 on Linux 3.11.6.
* Exit cleanly if llvm-config cannot be found.
* Fixed building host code (make menuconfig code). llvm-gcc out of the box might not be able to link correctly so in this case we use 'cc' instead of llvm-gcc for the host code.
* configure script checks for ncurses (needed for make menuconfig)
* Exit gracefully if argparse can't be imported (user probably has python version < 2.7).
* Fix small bug in b5c6cea400e58ac8848db8aa2fefc695b0357b4e where compiler temporary file would not be removed when checking for ncurses.
* Search for Kernel headers
* Add more log output when patching .config file for KERNEL_HEADERS
* Use os.path.join instead of explicit string concatentation.
-------------------------------------------------------------------
Thu Mar 2 13:14:37 UTC 2017 - jslaby@suse.com
- initial package