| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: klee-uclibc-devel-static | Distribution: openSUSE Tumbleweed |
| Version: 1.4 | Vendor: openSUSE |
| Release: 2.2 | Build date: Fri Feb 9 12:26:13 2024 |
| Group: Development/Languages/Other | Build host: reproducible |
| Size: 4284602 | Source RPM: klee-uclibc-1.4-2.2.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://github.com/klee/klee-uclibc | |
| Summary: Libc library for Klee | |
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.
LGPL-2.1-or-later
* Fri Feb 09 2024 Jiri Slaby <jslaby@suse.cz>
- generate debuginfo into the lib using -g
- do not configure with --enable-release as "things might break" (and they do).
* Thu Dec 14 2023 Jiri Slaby <jslaby@suse.cz>
- update to 1.4
* Don't always require curl/wget to build locales by @jirislaby in #43
* Fix compilation with newer LLVM/Clang versions: make int-conversion a
warning by @251 in #44
* Remove deprecated llvm-gcc by @251 in #45
* Fixing null dereference in realpath by @davidtr1037 in #47
* Add missing variables for GitHub CI by @MartinNowack in #46
- remove extra-locale-Makefile-don-t-always-require-curl-wget.patch
(it's upstream)
- switch to llvm 16
* Thu Jun 15 2023 jslaby@suse.cz
- require python3-base, not python-base as we need py3
- update rpmlintrc filter to match the current output
* Tue Nov 22 2022 Jiri Slaby <jslaby@suse.cz>
- add 0001-strtod-fix-__strtofpmax.patch (build fix w/ LLVM 15)
* Tue Sep 06 2022 Jiri Slaby <jslaby@suse.cz>
- Switch to LLVM 14.
* Tue May 10 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 2021 Jiri Slaby <jslaby@suse.cz>
- Switch to LLVM 13.
* Thu May 20 2021 Jiri Slaby <jslaby@suse.cz>
- Switch to LLVM 12.
* Sun Dec 13 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 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.
/usr/lib64/klee-uclibc /usr/lib64/klee-uclibc/lib /usr/lib64/klee-uclibc/lib/libc.a /usr/share/doc/packages/klee-uclibc-devel-static /usr/share/doc/packages/klee-uclibc-devel-static/README /usr/share/doc/packages/klee-uclibc-devel-static/README.md /usr/share/doc/packages/klee-uclibc-devel-static/TODO /usr/share/licenses/klee-uclibc-devel-static /usr/share/licenses/klee-uclibc-devel-static/COPYING.LIB
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed May 1 23:32:11 2024