Package Details: klee 1.4.0-6

Git Clone URL: (read-only)
Package Base: klee
Description: Symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL:
Licenses: custom:UIUC
Provides: klee=1.4.0-1, klee-uclibc
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 0
Popularity: 0.000000
First Submitted: 2018-03-06 15:02
Last Updated: 2018-08-13 15:15

Latest Comments

krafczyk.n commented on 2018-03-22 09:29

Do you have clang installed? I forgot to add that to the dependencies. I will publish a new PKGBUILD in a few minutes including a fix.

Edit: clang is now included in the dependencies.

qw3ry commented on 2018-03-22 09:26

Doesn't build for me:

==> Starting prepare()...
patching file include/klee/Internal/Support/PrintVersion.h
patching file lib/Core/StatsTracker.cpp
patching file lib/Module/RaiseAsm.cpp
patching file lib/Support/PrintVersion.cpp
==> Starting build()...
INFO:Disabling assertions
INFO:Configuring for Debug build
INFO:Configuring for LLVM bitcode archive
INFO:Using llvm-config at.../usr/bin/llvm-config
INFO:Using llvm tool dir.../usr/bin
INFO:Found "/usr/bin/llvm-nm".
INFO:Found "/usr/bin/llvm-ar".
INFO:Found "/usr/bin/llvm-link".
INFO:Found "/usr/bin/llvm-objdump".
INFO:Searching for LLVM Bitcode compiler...
ERROR:Failed to find a working LLVM bitcode compiler
==> ERROR: A failure occurred in build().
==> ERROR: Makepkg was unable to build klee.

Unfortunately I could not find out how to install llvm-gcc (which seems to be missing).