[klee-dev] LLVM 3.4 and KLEE installation problem on Linux Mint 18.3

[Seo Sanghyeon]

2018-01-23 22:30 GMT+09:00 Jake Ekel <jakeekel at yahoo.com>:
> I tried to build llvm directly from source.
> I am able to build the llvm, but when I tried to build the KLEE, I got this
> problem.
>
> cmake DENABLE_SOLVER_STP=ON -DENABLE_POSIX_RUNTIME=ON
> -DENABLE_KLEE_UCLIBC=ON
> -DGTEST_SRC_DIR="/home/jake/llvm/googletest-release-1.7.0/"
> -DLLVM_CONFIG_BINARY="/home/jake/llvm/llvm-3.4.2.src/configure"
> -DENABLE_SYSTEM_TESTS=ON -DENABLE_UNIT_TESTS=ON ../klee/
>
> -- KLEE version 1.4.0.0
> -- CMake generator: Unix Makefiles
> -- Build type: RelWithDebInfo
> -- KLEE assertions enabled
> -- LLVM_CONFIG_BINARY: /home/jake/llvm/llvm-3.4.2.src/configure
> CMake Error at cmake/find_llvm.cmake:103 (message):
>   Failed to parse LLVM version from "LLVM configure 3.4.2
>
> What should I do to solve this problem?

LLVM_CONFIG_BINARY should be path to llvm-config, not configure.
It should be something like
llvm-3.4.2.src/build/Release+Asserts/bin/llvm-config.

-- 
Seo Sanghyeon