没有工作的LLVM bitcode编译器

Question

我需要在我的Ubuntu 12.04上构建KLEE。我一步一步地按照KLEE网站的说明进行操作。我建了LLVM 2.9。但是当我需要安装klee-uclibc时，并且在配置过程中，它抱怨它找不到有效的LLVM bitcode编译器。这是否意味着我的LLVM构建不成功？我是Linux的新手，也是测试工具的新手。任何帮助是极大的赞赏。

Answer 1

我遇到了同样的问题，但仔细查看klee document帮助我解决了这个问题。特别是看步骤（02）（01）：

  

安装llvm-gcc：   从此处下载并安装llvm-gcc的LLVM 2.9版本。在x86-64 Linux平台上，您将需要用于Linux x86-64的存档LLVM-GCC 4.2前端二进制文件。   将llvm-gcc添加到PATH中。首先执行此操作非常重要，以便在后续配置步骤中找到llvm-gcc。 llvm-gcc稍后将用于编译KLEE可以执行的程序。 此时忘记将llvm-gcc添加到PATH是新用户报告的最常见的构建错误来源。

因此，请确保安装了llvm-gcc并为可执行文件提供了PATH。