我需要在我的 Ubuntu 12.04 上构建 KLEE。我一步一步按照 KLEE 网站的说明进行操作。我构建了 LLVM 2.9。但是当我需要安装 klee-uclibc 并且在配置过程中，它抱怨它未能找到一个工作的 LLVM 位码编译器。这是否意味着我构建的 LLVM 不成功？我是 Linux 新手，也是测试工具的新手。任何帮助是极大的赞赏。
问问题
737 次
1 回答
1
我遇到了同样的问题，但仔细查看klee 文档帮助我解决了这个问题。特别看一下步骤（02）（01）：
安装 llvm-gcc：从此处下载并安装 llvm-gcc 的 LLVM 2.9 版本。在 x86-64 Linux 平台上，您将需要存档 LLVM-GCC 4.2 Front End Binaries for Linux x86-64。将 llvm-gcc 添加到您的 PATH 中。首先这样做很重要，以便在后续配置步骤中找到 llvm-gcc。llvm-gcc 稍后将用于编译 KLEE 可以执行的程序。此时忘记将 llvm-gcc 添加到您的 PATH 是迄今为止新用户报告的构建错误的最常见来源。
因此，请确保已安装 llvm-gcc 并为可执行文件提供 PATH。
于 2015-08-21T22:50:19.793 回答