0

语境

我正在研究 klee (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/MakefileLIBRARYNAME=kleeCoreLIBRARYNAME=kleeMine

警告

我觉得这不是正确的方法,我宁愿修改一些配置脚本或其他东西。它也没有链接(虽然它编译)。

4

1 回答 1

1

一位同事刚刚告诉我如何让它链接,这是通过修改/tools/klee/Makefile

USEDLIBS = kleeCore.a kleeModule.a kleaverSolver.a kleaverExpr.a kleeSupport.a kleeBasic.a kleeMine.a
于 2011-08-25T15:51:17.477 回答