>上下文
我正在研究克利(http://klee.llvm.org(分叉,并希望清理我们的存储库,将我们的东西与"规范"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
.
警告
我有一种感觉,这不是正确的方法,我应该修改一些配置脚本或其他东西。它也没有链接(虽然它会编译(。
一位同事刚刚告诉我如何让它链接,这是通过修改/tools/klee/Makefile
USEDLIBS = kleeCore.a kleeModule.a kleaverSolver.a kleaverExpr.a kleeSupport.a kleeBasic.a kleeMine.a