Как расширить систему сборки klee (llvm)?

Question

контекст

Я работаю над вилкой 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/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