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 <[email protected]> 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. >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
