[klee-dev] error while installing klee

[Cedric Lontsi]

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;--versionCall 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.
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Capture du 2019-11-04 18-25-59.png
Type: image/png
Size: 140787 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20191104/14317ea7/attachment.png>