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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev