当我构建klee-2.3时,它提示我在dir
FileCheck
中没有not
和${LLVM_DIR}$/bin
,我使用的LLVM是直接下载的版本而不是构建的。
所以我检查 dir
FileCheck
中是否有 not
和 llvm-project/llvm/utils
。并且FileCheck
和not
只有一个cpp文件
那么我可以简单地将cpps构建成可执行文件
FileCheck
和not
而不是使用LLVM构建,因为它非常耗时?
如果可以的话,如何修改cmakelist.txt?
首先,您要运行 CMake 配置。 LLVM 默认为
FileCheck
和 not
创建 Cmake 目标。
cmake -S ${LLVM_SRC_DIR} \
-B ${YOUR_BUILD_DIR} \
-DLLVM_ENABLE_PROJECTS="clang;llvm" \
-DCMAKE_BUILD_TYPE=Release \
-DLLVM_INCLUDE_TESTS=ON
然后,您将需要使用
--target
CMake 指令来仅构建您想要的目标:
cmake --build ${YOUR_BUILD_DIR} --target not FileCheck