Search Criteria
Package Details: klee 3.0-16
Package Actions
Git Clone URL: | https://aur.archlinux.org/klee.git (read-only, click to copy) |
---|---|
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 |
Submitter: | krafczyk.n |
Maintainer: | krafczyk.n |
Last Packager: | krafczyk.n |
Votes: | 7 |
Popularity: | 0.000587 |
First Submitted: | 2018-03-06 15:02 (UTC) |
Last Updated: | 2023-06-21 11:48 (UTC) |
Dependencies (14)
- gperftools (gperftools-git)
- klee-uclibc (klee-uclibc)
- libcap (libcap-git)
- llvm14-libs (llvm14-libs-minimal)
- python (python36, python32, python37, python39, python38, python310, python312)
- sqlite (sqlite-fossil)
- z3 (z3-java, z3-git)
- clang14 (llvm14-minimal) (make)
- cmake (cmake-git) (make)
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
- gperftools (gperftools-git) (make)
- llvm14 (llvm14-minimal) (make)
- z3 (z3-java, z3-git) (make)
- python-tabulate (python-tabulate-git) (check)
Latest Comments
1 2 Next › Last »
nickolai commented on 2023-03-15 20:08 (UTC)
klee doesn't build against the latest version of llvm (15), but forcing the build to use llvm14 works:
krafczyk.n commented on 2022-09-22 13:23 (UTC)
@gilcu3 Thanks for notifying me. Sorry it took so long to incorporate the change.
gilcu3 commented on 2022-09-17 11:40 (UTC) (edited on 2022-09-17 11:41 (UTC) by gilcu3)
A patch like this is needed to build with current version of llvm (14), against the last commit (e244b610b04afd81ef3ae47b3644fecc41ea4db1) in the master branch.
kyechou commented on 2020-12-27 04:29 (UTC)
Hi @krafczyk.n, the
provides=
primitive is missed for the update. Thanks!krafczyk.n commented on 2020-08-21 11:39 (UTC)
Thank you very much! I incorporated your change. You are now mentioned as a contributor.
r7v commented on 2020-08-21 09:20 (UTC)
googletest from master fails to configure with errors.
I made a change to PKGCONFIG to use stable tag for google test
krafczyk.n commented on 2020-04-15 12:55 (UTC)
You're absolutely correct, thank you! That's fixed now.
Furthermore, I modified the build to honor the MAKEFLAGS variable which can be passed from /etc/makepkg.conf The number of build threads to be used now has to be configured using that variable.
snowball commented on 2020-04-12 05:04 (UTC)
Tests require python-tabulate to be installed:
werew commented on 2019-12-08 01:48 (UTC)
Thank you for this fix :) I confirm it now compiles without errors also on my system.
krafczyk.n commented on 2019-12-08 01:21 (UTC)
Builds now.
Usually I try to refrain from using other upstream sources than releases but there is no release of klee containing the fixes to these issues. Instead, I used their most recent commit and will keep this until either a new version of klee is released, further problems arise or a different, more reasonable commit is requested.
1 2 Next › Last »