Package Details: klee-uclibc 1.2-2

Git Clone URL: (read-only, click to copy)
Package Base: klee-uclibc
Description: uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL:
Licenses: LGPL2.1
Provides: klee-uclibc
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-25 16:33
Last Updated: 2019-11-18 10:12

Latest Comments

krafczyk.n commented on 2020-09-14 18:01

@sparrowhawk Sorry, I don't know exactly. The build files provided upstream (i.e. on github) should handle downloading and unpacking the archive required to make that work. Could you check whether there is a file called uClibc-locale-030818.tgz in the following directory (relative to the path where the PKGBUILD file is): src/klee-uclibc/extra/locale/

If not, could you download it from to that location, unpack it there and try to build again using makepkg?

sparrowhawk commented on 2020-09-14 17:06


For me, building fails with:

make -C extra/locale locale_headers
cat ../../extra/locale/uClibc_locale_data.h | awk 'BEGIN{i=1}{ if ( /WANT_/ ) i = /endif/ ; else if (i) print  }' > ../../include/bits/uClibc_locale_data.h
cat: ../../extra/locale/uClibc_locale_data.h: No such file or directory
extra/locale/locale_data.c:7:10: fatal error: 'wctables.h' file not found
#include "wctables.h"
1 error generated.

Do you have an idea of why that that may be ?

krafczyk.n commented on 2019-11-18 10:16

Thank you! Sorry! Fixed!

lenerd commented on 2019-11-13 22:19

This package needs 'python' and 'wget' as additional makedepends.