Package Details: klee 3.1-17

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
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 6
Popularity: 0.000000
First Submitted: 2018-03-06 15:02 (UTC)
Last Updated: 2024-05-05 12:59 (UTC)

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:

@@ -14,13 +14,13 @@ depends=('gperftools'
-         'llvm-libs>=14.0'
+         'llvm14-libs'
-             'llvm>=14.0'
-             'clang'
+             'llvm14'
+             'clang14'
@@ -62,6 +62,10 @@ prepare() {
           -DGTEST_SRC_DIR="$srcdir/googletest/googletest" \
+          -DUSE_CMAKE_FIND_PACKAGE_LLVM=false \
+          -DLLVM_CONFIG_BINARY=/usr/bin/llvm-config-14 \
+          -DLLVMCC=/usr/lib/llvm14/bin/clang \
+          -DLLVMCXX=/usr/lib/llvm14/bin/clang++ \

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.

diff --git a/lib/Module/RaiseAsm.cpp b/lib/Module/RaiseAsm.cpp
index 98e580a8..c610b5d6 100644
--- a/lib/Module/RaiseAsm.cpp
+++ b/lib/Module/RaiseAsm.cpp
@@ -19,7 +19,7 @@
 #include "llvm/IR/Instructions.h"
 #include "llvm/IR/LLVMContext.h"
 #include "llvm/Support/Host.h"
-#include "llvm/Support/TargetRegistry.h"
+#include "llvm/MC/TargetRegistry.h"
 #include "llvm/Target/TargetMachine.h"

diff --git a/test/lit.cfg b/test/lit.cfg
index 4d7382cf..c935ab8e 100644
--- a/test/lit.cfg
+++ b/test/lit.cfg
@@ -161,7 +161,7 @@ config.substitutions.append(

 # Add feature for the LLVM version in use, so it can be tested in REQUIRES and
 # XFAIL checks. We also add "not-XXX" variants, for the same reason.
-known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0" }
+known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0", "14.0" }
 current_llvm_version_tuple = (int(config.llvm_version_major), int(config.llvm_version_minor))
 current_llvm_version = "%s.%s" % current_llvm_version_tuple

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.

CMake Error at CMakeLists.txt:129 (set_target_properties):
  set_target_properties called with incorrect number of arguments.

CMake Error at CMakeLists.txt:131 (set_target_properties):
  set_target_properties called with incorrect number of arguments.

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:

Error: Package "tabulate" required for table formatting. Please install it using "pip" or your package manager.You can still use --grafana and --to-csv without tabulate.

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.