Package Details: klee-uclibc 1.4-5

Git Clone URL: https://aur.archlinux.org/klee-uclibc.git (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: https://klee.github.io/
Licenses: LGPL2.1
Provides: klee-uclibc
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 2
Popularity: 0.000004
First Submitted: 2019-03-25 16:33 (UTC)
Last Updated: 2023-10-30 12:01 (UTC)

Dependencies (5)

Required by (1)

Sources (1)

Latest Comments

hnns commented on 2023-04-15 14:02 (UTC) (edited on 2023-04-15 14:04 (UTC) by hnns)

The wctables.h error is due to a download step in the makefiles not being waited on. Making with -j1 worked around it for me.

build() {
    cd "$srcdir/klee-uclibc"
    make -j 1
}

nickolai commented on 2023-03-15 20:14 (UTC)

klee-uclibc no longer builds with the latest version of Clang (15), due to warnings about converting pointers to wchar_t in strtod.c. But klee is also not currently compatible with Clang/LLVM 15 (see https://aur.archlinux.org/packages/klee#comment-906273), and must be built with the same Clang/LLVM version. Forcing klee-uclibc to build with clang14 works well:

--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,8 +9,8 @@ url="https://klee.github.io/"
 license=('LGPL2.1')
 groups=()
 depends=()
-makedepends=('llvm>=6.0'
-             'clang'
+makedepends=('llvm14'
+             'clang14'
              'git'
              'python'
              'wget')
@@ -30,7 +30,7 @@ validpgpkeys=()

 prepare() {
     cd "$srcdir/klee-uclibc"
-    DEVEL_PREFIX="/usr/share/klee-uclibc/" ./configure --make-llvm-lib
+    DEVEL_PREFIX="/usr/share/klee-uclibc/" ./configure --make-llvm-lib --with-llvm-config=//usr/bin/llvm-config-14 --with-cc=/usr/lib/llvm14/bin/clang
     sed -i 's|DEVEL_PREFIX="[^"]*"|DEVEL_PREFIX="/usr/share/klee-uclibc/usr"|' .config
     sed -i 's|RUNTIME_PREFIX="[^"]*"|RUNTIME_PREFIX="/usr/share/klee-uclibc/usr"|' .config
 }

krafczyk.n commented on 2020-09-14 18:01 (UTC) (edited on 2020-09-14 18:03 (UTC) by krafczyk.n)

@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 https://www.uclibc.org/downloads/uClibc-locale-030818.tgz to that location, unpack it there and try to build again using makepkg?

sparrowhawk commented on 2020-09-14 17:06 (UTC) (edited on 2020-09-14 17:06 (UTC) by sparrowhawk)

Hi,

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 (UTC)

Thank you! Sorry! Fixed!

lenerd commented on 2019-11-13 22:19 (UTC)

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