Ошибка при компиляции нестабильной ветки Z3

Я пытаюсь собрать нестабильную ветку z3 на OSX, и я следовал инструкциям в файле readme (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, поэтому я не уверен, что пошло не так. Я ценю любую помощь.