Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: klee 1.4.0-6

Package Actions

Git Clone URL:	https://aur.archlinux.org/klee.git (read-only)
Package Base:	klee
Description:	Symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL:	https://klee.github.io/
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

Dependencies (9)

gperftools (gperftools-git)
libcap (libcap-git)
python (python-dbg)
z3 (z3-bin, z3-git, z3-java)
llvm-libs>=5.0 (llvm-libs-assert, llvm-libs-pypy-stm, llvm-libs-polly-svn, llvm39-libs, clang-trunk, llvm-libs38, llvm-libs-svn, llvm-libs-git)
clang (clang-assert, clang-pypy-stm, clang-polly-svn, clang39, clang-trunk, clang38, clang-svn, clang-git) (make)
cmake (cmake-git) (make)
git (git-git) (make)
llvm>=5.0.1-2 (llvm-assert, llvm-pypy-stm, llvm-polly-svn, llvm39, clang-trunk, llvm38, llvm-svn, llvm-git) (make)

Required by (0)

Sources (2)

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().
    Aborting...
==> ERROR: Makepkg was unable to build klee.

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