| 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+git.20240531 | Vendor: openSUSE |
| Release: 3.1 | Build date: Thu Feb 13 07:37:53 2025 |
| Group: Development/Languages/Other | Build host: reproducible |
| Size: 4262818 | Source RPM: klee-uclibc-1.4+git.20240531-3.1.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
* Thu Feb 13 2025 Jiri Slaby <jslaby@suse.cz>
- OK, bump to llvm 15 again, everything moved to 15 in the meantime
* Mon Feb 03 2025 Jiri Slaby <jslaby@suse.cz>
- switch to llvm 14, as llvm 16 is used solely by klee
* Mon Dec 09 2024 jslaby@suse.cz
- Update to version 1.4+git.20240531:
* disable locale data download in default configuration for x86-64
* add local uClibc-locale-030818.tgz file
- switch to obs_scm
- drop our uClibc-locale-030818.tgz as it is now in the tarball
* 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.
/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, Tue Nov 18 22:40:47 2025