Я пытаюсь собрать нестабильную ветку 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, поэтому я не уверен, что пошло не так. Я ценю любую помощь.
Задача ещё не решена.
Других решений пока нет …