我正在尝试在OSX上构建z3 unstable分支，我按照自述文件中的说明（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的新手，所以我不确定出了什么问题。我感谢任何帮助。