如何扩展克利 (llvm) 构建系统



>上下文

我正在研究克利(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

相关内容

  • 没有找到相关文章

最新更新