klee .bca文件丢失

Question

我在我的LLVM 2.9（根据需要）上安装Klee后跟着http://klee.llvm.org/GetStarted.html，意思是：

1. 安装依赖项DONE

   export C_INCLUDE_PATH=/usr/include/i386-linux-gnu/完成

   export CPLUS_INCLUDE_PATH/usr/include/i386-linux-gnu/完成

2. 构建LLVM 2.9 DONE

   安装llvm-gcc DONE

   将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 DONE

3. 构建STP DONE 配置为--with-cryptominisat2，而制作时为make OPTIMIZE=-O2 CFLAGS_M32= install ulimit -s unlimited DONE
4. 使用llvm-gcc DONE构建uclibc
5. svn klee DONE

6. 配置KLEE DONE

   ./configure --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 DONE

   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。

感谢您的帮助！