Search Criteria
Package Details: klee 1.4.0-6
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: | |
Provides: | |
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)
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:
Unfortunately I could not find out how to install llvm-gcc (which seems to be missing).