Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP5
klee-uclibc
klee-uclibc.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File klee-uclibc.changes of Package klee-uclibc
------------------------------------------------------------------- Tue Nov 22 08:50:37 UTC 2022 - Jiri Slaby <jslaby@suse.cz> - add 0001-strtod-fix-__strtofpmax.patch (build fix w/ LLVM 15) ------------------------------------------------------------------- Tue Sep 6 09:20:10 UTC 2022 - Jiri Slaby <jslaby@suse.cz> - Switch to LLVM 14. ------------------------------------------------------------------- Tue May 10 10:24:26 UTC 2022 - Jiri Slaby <jslaby@suse.cz> - update to 1.3 * configure: remove old code, make llvm-config lookup more flexible, set to Python3, remove trailing whitespace * switch to https; fallback to curl when wget not available * Correcting use of 'lookForNew' * Add a message when the bitcode compiler is specified via CC - add extra-locale-Makefile-don-t-always-require-curl-wget.patch to fix build ------------------------------------------------------------------- Tue Oct 19 09:21:11 UTC 2021 - Jiri Slaby <jslaby@suse.cz> - Switch to LLVM 13. ------------------------------------------------------------------- Thu May 20 06:05:23 UTC 2021 - Jiri Slaby <jslaby@suse.cz> - Switch to LLVM 12. ------------------------------------------------------------------- Sun Dec 13 14:14:48 UTC 2020 - Aaron Puchert <aaronpuchert@alice-dsl.net> - Switch to regular version 1.2. That's a slight downgrade, as we lose the last two commits, but they aren't relevant here. - Switch to LLVM 11. ------------------------------------------------------------------- Thu Sep 24 05:31:55 UTC 2020 - jslaby@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. ------------------------------------------------------------------- Fri Apr 24 22:48:14 UTC 2020 - Aaron Puchert <aaronpuchert@alice-dsl.net> - Switch to LLVM 10. ------------------------------------------------------------------- Mon Nov 4 06:52:30 UTC 2019 - Jiri Slaby <jslaby@suse.com> - switch to llvm 9 ------------------------------------------------------------------- Fri Oct 04 11:08:45 UTC 2019 - jslaby@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 ------------------------------------------------------------------- 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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
