Question

我不是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

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

Answer 1

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

Answer 2

我只是试图复制此错误报告，但我无法这样做。 Z3在我的机器上使用CXX = clang ++构建得很好。我只能怀疑你的clang ++虽然可以安装，但却不在路径中。例如，只需在控制台中运行clang ++就会抛出相同的“command not found”错误。也许只需运行

就可以解决这个问题

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

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

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

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