如何扩展klee（llvm）构建系统？

Question

上下文

我正在开发一个klee（http://klee.llvm.org）fork，并希望清理我们的存储库，将我们的东西与“规范”klee代码分开。无论如何，我无法理解/扩展构建系统。

问题

/lib/中的目录结构如下所示

Basic/
Core/
Support/
Expr/
Solver/
Module/
Mine/

我刚刚添加了

Mine，到目前为止我们已将所有内容都放在Core中，我将其移至Mine。如何告诉构建系统正确执行此操作？

我的尝试

由于无法自行解决这个问题，我编辑了/lib/Makefile：

LEVEL=..

PARALLEL_DIRS=Basic Support Expr Solver Module Core Mine

include $(LEVEL)/Makefile.common

并将/lib/Core/Makefile复制到/lib/Mine/Makefile，同时将LIBRARYNAME=kleeCore更改为LIBRARYNAME=kleeMine。

买者

我觉得这不是正确的方法，我宁愿修改一些配置脚本或其他东西。它也没有链接（但它编译）。

Answer 1

一位同事刚刚告诉我如何将其链接起来，即通过修改/tools/klee/Makefile

USEDLIBS = kleeCore.a kleeModule.a kleaverSolver.a kleaverExpr.a kleeSupport.a kleeBasic.a kleeMine.a