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

警告

これは適切な方法ではないと感じているので、configureスクリプトなどを変更する必要があります。また、リンクしません(ただし、コンパイルします)。

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 に答える