在mac os上构建z3 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'错误。

什么是解决方案？我在Mac OS X 10.7.5上有gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)。

2013-01-02 prosseek

下一个版本（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

BTW，链接http://z3.codeplex.com/releases/view/95640不包含最新版本（Z3 v4.3.1）。我们不再使用源代码创建zip文件，因为codeplex自动为任何版本生成它们。有关更多详细信息，请参阅this link。

编辑 2013年2月，我们开始为所有主要平台（包括OSX）提供夜间构建。 Here指导如何下载这些预编译的二进制文件。 END编辑

2013-01-03 01:09:26

回答