2018-01-23 22:30 GMT+09:00 Jake Ekel <[email protected]>: > I tried to build llvm directly from source. > I am able to build the llvm, but when I tried to build the KLEE, I got this > problem. > > cmake DENABLE_SOLVER_STP=ON -DENABLE_POSIX_RUNTIME=ON > -DENABLE_KLEE_UCLIBC=ON > -DGTEST_SRC_DIR="/home/jake/llvm/googletest-release-1.7.0/" > -DLLVM_CONFIG_BINARY="/home/jake/llvm/llvm-3.4.2.src/configure" > -DENABLE_SYSTEM_TESTS=ON -DENABLE_UNIT_TESTS=ON ../klee/ > > -- KLEE version 1.4.0.0 > -- CMake generator: Unix Makefiles > -- Build type: RelWithDebInfo > -- KLEE assertions enabled > -- LLVM_CONFIG_BINARY: /home/jake/llvm/llvm-3.4.2.src/configure > CMake Error at cmake/find_llvm.cmake:103 (message): > Failed to parse LLVM version from "LLVM configure 3.4.2 > > What should I do to solve this problem?
LLVM_CONFIG_BINARY should be path to llvm-config, not configure. It should be something like llvm-3.4.2.src/build/Release+Asserts/bin/llvm-config. -- Seo Sanghyeon _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
