为什么铛声不能在Mac OS X 10.5.8（Leopard）中编译Z3？

我不是Mac的亲用户，所以我在安装软件时遇到了很多问题。我想运行Z3Py（使用Python的Z3 API）。我下载Z3 v4.3.1，我使用的MacPorts-2.1.2安装铛V2.9终于，当我运行Z3为什么铛声不能在Mac OS X 10.5.8（Leopard）中编译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

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

我无法理解什么是什么，以及如何解决它。我非常感谢任何提示，因为经过两天的尝试，我没有找到任何解决方案。

2012-12-04 Mairim

/opt/local/libexec/llvm-2.9添加到您的$ PATH。 – Wilbert

所以这是其中一个问题，谢谢。我编译成功，但我收到编译错误，所以我不知道它是否与叮当的版本或我仍然失去了一些东西。 – Mairim

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

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

在尝试编译之前修复。但是，我怀疑在这之后会发现更多的问题，而图书馆没有找到。

我能想象的东西通过MacPorts的，例如，在安装过程中出了问题，它需要修改未自动完成各种环境变量。

由于努诺表明，XCode中（使用CLI工具）可以更容易使用，他们应该可以在AppStore免费。

2012-12-04 17:27:24

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

2012-12-04 17:06:26

这不适用于10.5.8，App Store仅适用于10.6.6+。 – Wilbert

回答