4

Klee を LLVM 2.9 に (必要に応じて) インストールするときは、 http://klee.llvm.org/GetStarted.htmlに従いました。

  1. 依存関係のインストール 完了

    export C_INCLUDE_PATH=/usr/include/i386-linux-gnu/終わり

    export CPLUS_INCLUDE_PATH/usr/include/i386-linux-gnu/終わり

  2. LLVM 2.9 のビルド完了

    llvm-gcc のインストール完了

    llvm-gcc を PATH に追加します

    エクスポート パス=$PATH:/home/alex/llvm2.9/llvm/llvm-gcc-4.2-2.9-i686-linux/llvm-gcc-4.2-2.9-i686-linux/bin/

    LLVM 2.9 のダウンロードとビルド 完了

  3. STP DONE を--with-cryptominisat2構成時にビルドし、 DONEをmake OPTIMIZE=-O2 CFLAGS_M32= install作成 します。ulimit -s unlimited
  4. llvm-gcc DONE で uclibc をビルドする
  5. svn クレー 完了

  6. KLEE DONEの設定

    。/構成、設定--with-llvm=/home/alex/llvm2.9/llvm/ --with-stp=/home/alex/llvm2.9/llvm/stp/ --with-uclibc=/home/alex/llvm2.9/llvm/klee-uclibc-0.02-i386/ --with-llvm-build-mode=Release+Asserts --enable-posix-runtime

  7. クレーを組み立てる

    とENABLE_OPTIMIZED=1

    エラーはありませんが、警告 " /home/alex/llvm2.9/llvm/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****"があります

ただし、チュートリアルを試すと、segfault エラーが発生します: klee: エラー: リンカー入力 ' /home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'が見つかりません

これらは、クレーのコンパイル中にまったくビルドされませんでした。どうすればよいか教えていただけますか？多分私の問題はこのスレッドに関連しています: http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923。

助けてくれてありがとう！

4

0 に答える 0