klee-uclibc
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:RISCV/klee-uclibc && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000528 528 Bytes | |
| _servicedata | 0000000235 235 Bytes | |
| klee-uclibc-1.0.0+git.20190816.tar.xz | 0001709236 1.63 MB | |
| klee-uclibc-rpmlintrc | 0000000084 84 Bytes | |
| klee-uclibc.changes | 0000005329 5.2 KB | |
| klee-uclibc.spec | 0000002662 2.6 KB | |
| proper-compiler-flags-check.patch | 0000000765 765 Bytes | |
| uClibc-locale-030818.tgz | 0000236073 231 KB |
Revision 12 (latest revision is 24)
Dominique Leuenberger (dimstar_suse)
accepted
request 734973
from
Jiri Slaby (jirislaby)
(revision 12)
- 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
Comments 0