Здание z3 на mac os x

Question

Я пытаюсь построить Z3 на mac os x.

После README файл, я только что выполнили

autoconf 
./configure 
make 

, чтобы получить ошибку "omp.h" файл не найден.

Я скопировал файл omp.h с /usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin11/4.2.1/include в директорию lib, чтобы решить эту проблему.

Затем я получил lib/buffer.h:243:13: error: use of undeclared identifier 'push_back' Ошибка при построении кода.

Что может быть решением? У меня есть gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) на Mac OS X 10.7.5.

Answer 1

Следующая версия (Z3 v4.3.2) будет иметь лучшую поддержку для OSX, clang и более старых версий gcc. Вы должны скомпилировать кандидата на выпуск, используя следующие инструкции. rc - это ветка, содержащая текущий кандидат на выпуск.

git clone https://git01.codeplex.com/z3 -b rc 
cd z3 
python scripts/mk_make.py 
cd build 
make 

Кстати, ссылка http://z3.codeplex.com/releases/view/95640 не содержит последнюю версию (Z3 v4.3.1). Мы больше не создаем zip-файлы с исходным кодом, потому что codeplex автоматически генерирует их для любой версии. См. this link для получения дополнительной информации.

EDIT В феврале 2013 года мы начали предоставлять ночные сборки для всех основных платформ (включая OSX). Here - инструкции по загрузке этих предварительно скомпилированных двоичных файлов. END EDIT