Arch Linux User Repository

klee doesn't build against the latest version of llvm (15), but forcing the build to use llvm14 works:

--- a/PKGBUILD
+++ b/PKGBUILD
@@ -14,13 +14,13 @@ depends=('gperftools'
          'z3'
          'libcap'
          'python'
-         'llvm-libs>=14.0'
+         'llvm14-libs'
          'klee-uclibc'
          'sqlite')
 makedepends=('gperftools'
              'z3'
-             'llvm>=14.0'
-             'clang'
+             'llvm14'
+             'clang14'
              'cmake'
              'git')
 checkdepends=('python-tabulate')
@@ -62,6 +62,10 @@ prepare() {
           -DGTEST_SRC_DIR="$srcdir/googletest/googletest" \
           -DENABLE_UNIT_TESTS=ON \
           -DENABLE_SYSTEM_TESTS=ON \
+          -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++ \
           "$srcdir/$pkgname"
 }

@gilcu3 Thanks for notifying me. Sorry it took so long to incorporate the change.

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

Hi @krafczyk.n, the provides= primitive is missed for the update. Thanks!

Thank you very much! I incorporated your change. You are now mentioned as a contributor.

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

"git+https://github.com/google/googletest.git#tag=release-1.10.0"

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.

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.

Thank you for this fix :) I confirm it now compiles without errors also on my system.

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.