1

我不是 Mac 的专业用户，所以我在安装软件时遇到了很多问题。我想运行 Z3Py（使用 Python 的 Z3 API）。我下载了 Z3 v4.3.1，我使用 Macports-2.1.2 安装了 clang v2.9，最后，当我为 Z3 运行时

>autoconf
>./configure CXX=clang++  
>python scripts/mk_make.py
>cd build
>make

我获得了：

src/shell/datalog_frontend.cpp
make: clang++: Command not found
make: *** [shell/datalog_frontend.o] Error 127

由于 clang++ 在 /opt/local/libexec/llvm-2.9/bin

我无法理解它正在发生什么以及如何解决它。我真的很感激任何提示，因为经过两天的尝试，我没有找到任何解决方案。

4

2 回答 2

1

您应该安装 XCode CLI 工具。它已经包含了最新版本的 clang（2.9 已经很老了）。我认为 XCode 和 XCode CLI 工具在 Appstore 和/或苹果开发者中心都是免费的。

于 2012-12-04T17:06:26.313 回答
1

我只是试图复制这个错误报告，但我无法这样做。Z3 在我的机器上使用 CXX=clang++ 构建得很好。我只能怀疑您的 clang++，虽然它可能已安装，但不在路径中。例如，简单地在控制台中运行 clang++ 会抛出同样的“command not found”错误。也许这可以通过简单地运行来解决

 export PATH=$PATH:/opt/local/libexec/llvm-2.9/bin

在尝试编译之前。但是，我怀疑在那之后找不到库会出现更多问题。

我可以想象在通过 MacPorts 安装的过程中出现了问题，例如，它需要修改各种不是自动完成的环境变量。

正如 Nuno 所建议的那样，XCode（带有 CLI 工具）可能更容易使用，它们应该可以在 AppStore 中免费获得。

于 2012-12-04T17:27:24.157 回答