我正在尝试在 mac os x 上构建Z3 。
在 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。
下一个版本（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 会自动为任何版本生成它们。有关其他详细信息，请参阅此链接。
编辑 于 2013 年 2 月，我们开始为所有主要平台（包括 OSX）提供夜间构建。以下是有关如何下载这些预编译二进制文件的说明。 结束编辑
或者，您可以使用Homebrew：
> brew install z3