[klee-dev] error while installing klee

[Cedric Lontsi]

Thank you for your help sir, i taugh that being in the */bin *folder was
enough; and the program was  just need to search the corresponding bin file
by himself.
I did has you suggest and  i had a problem of compilation. This is the
message:




*CMake Error at cmake/find_bitcode_compiler.cmake:67 (message):
Compilation failedCall Stack (most recent call first):
cmake/find_bitcode_compiler.cmake:96 (test_bitcode_compiler)
CMakeLists.txt:292 (include)*
Please have in attached a snapshot of the execution of the command line.
what can be the problem please?
Best,

Le lun. 4 nov. 2019 à 18:29, Cedric Lontsi <cedriclontsi at gmail.com> a
écrit :

> 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