4

在我的 LLVM 2.9 上安装 Klee 时（根据需要），我遵循了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 DONE

    导出路径=$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. --with-cryptominisat2使用at configuration 和make OPTIMIZE=-O2 CFLAGS_M32= installat make ulimit -s unlimitedDONE构建 STP DONE
  4. 使用 llvm-gcc DONE 构建 uclibc
  5. svn klee 完成

  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. 建造 KLEE 完成

    和ENABLE_OPTIMIZED=1

    没有错误，但我有警告“ /home/alex/llvm2.9/llvm/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****”

但是，当我尝试教程时，出现段错误：klee：错误：找不到链接器输入' /home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca'

它们在 Klee 编译期间根本没有构建。你能告诉我我能做什么吗？也许我的问题与这个线程有关： http: //thread.gmane.org/gmane.comp.compilers.llvm.klee/923。

感谢您的任何帮助 ！

4

0 回答 0