C++ 编译Z3不稳定分支时出错

我试图在OSX上构建z3不稳定分支，并按照自述文件python scripts/mk_make.py，然后cd build，然后make中的说明进行操作，但出现以下错误

Testing ar...
Testing g++...
Testing gcc...
Testing OpenMP...
Host platform:  Darwin 13.0.0
C++ Compiler:   g++
C Compiler  :   gcc
Arithmetic:     internal
OpenMP:         False
Prefix:         /Library
64-bit:         True
Python version: 2.7

...
src/shell/datalog_frontend.cpp
make: CXX@: No such file or directory
make: *** [shell/datalog_frontend.o] Error 1

---

我是OSX的新手，所以我不确定哪里出了问题。非常感谢您的帮助。

您可能应该在OS X上使用clang作为编译器。谢谢您的回复。我尝试使用CXX=clang++CC=clang python scripts/mk_make.py，但仍然得到与以前相同的错误。您确定您拥有所有代码和依赖项吗？@ElliottFrisch我没有更改代码中的任何内容。我正试图编译它。