Package Details: klee 2.1-8

Git Clone URL: (read-only, click to copy)
Package Base: klee
Description: Symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL:
Licenses: custom:UIUC
Provides: klee=2.1
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 4
Popularity: 0.009563
First Submitted: 2018-03-06 15:02
Last Updated: 2020-08-23 20:11

Latest Comments

« First ‹ Previous 1 2

krafczyk.n commented on 2019-03-25 14:11

I will release a new PKGBUILD in a few hours which will build klee 2.0. Thanks to all of you who commented on this.

J08nY commented on 2019-02-28 12:13

This needs a change of source back to the original repostitory at:

Currently makepkg gives:

==> Extracting sources...
  -> Creating working copy of klee git repo...
fatal: 'origin/llvm_60' is not a commit and a branch 'makepkg' cannot be 
created from it
==> ERROR: Failure while creating working copy of klee git repo

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).