[klee-dev] error while installing klee

[Cadar, Cristian]

LLVM_CONFIG_BINARY should be the full path to llvm-config.

Best,
Cristian

On 04/11/2019 18:29, Cedric Lontsi wrote:
> Hi,
> I'm new in klee and i installed klee with llvm6.0. i followed the 
> different step in this article https://klee.github.io/build-llvm60/  
> until step 9 where i used the command
> 
> |*cmake <CMAKE_OPTIONS> <KLEE_SRC_DIRECTORY> *and i had this error: |
> 
> *-- LLVM_CONFIG_BINARY: /usr/lib/llvm-6.0/bin*
> *CMake Error at cmake/find_llvm.cmake:67 (message):
>    Failed running /usr/lib/llvm-6.0/bin;--version
> Call Stack (most recent call first):
>    cmake/find_llvm.cmake:73 (_run_llvm_config)
> *
> *  CMakeLists.txt:208 (include)*
> *
> *
> In attached, you have a snapshot of the execution of the command.
> please, how can i solve this problem?
> best regards.
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>