Build 在MacOSX上构建z3

我正试图建立在MacOSX上

在自述文件之后，我刚刚执行了

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：错误：在构建代码时使用了未声明的标识符“push\u back”

错误

解决办法是什么？我在Mac OS X 10.7.5上安装了gcc版本4.2.1（基于Apple Inc.build 5658）（LLVM build 2336.11.00）。

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

顺便说一句，该链接不包含最新版本（Z3 v4.3.1）。我们不再使用源代码创建zip文件，因为codeplex会自动为任何版本生成它们。有关更多详细信息，请参阅

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

---

结束编辑

或者，您可以使用：

> brew install z3