在Mac OS X上构建Z3 [英] Building z3 on mac os x

问题描述

我正在尝试在Mac OS X上构建 Z3 。

I'm trying to build Z3 on mac os x.

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

Following README file, I just executed

autoconf
./configure
make

导致找不到错误 omp.h文件。

to get an error "omp.h" file not found.

我从 /usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin11/4.2复制了omp.h文件。 1 / include 到 lib 目录以解决此问题。

I copied the omp.h file from /usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin11/4.2.1/include to lib directory to solve this issue.

然后，我得到了 lib / buffer.h：243：13：错误：在构建代码时使用未声明的标识符'push_back'错误。

Then, I got lib/buffer.h:243:13: error: use of undeclared identifier 'push_back' error in building the code.

有什么解决方案？我在Mac OS X 10.7.5上具有 gcc版本4.2.1（基于Apple Inc.内部版本5658）（LLVM内部版本2336.11.00）。

What could be the solution? I have gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) on Mac OS X 10.7.5.

推荐答案

下一个版本（Z3 v4.3.2）将更好地支持OSX，clang和较旧版本的gcc。
您应该能够按照以下说明编译候选版本。 rc 是包含当前候选版本的分支。

The next release (Z3 v4.3.2) will have better support for OSX, clang, and older versions of gcc. You should be able to compile the release candidate using the following instructions. rc is the branch that contains the current release candidate.

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会自动为任何版本生成它们。请参阅此链接有关更多详细信息。

BTW, the link http://z3.codeplex.com/releases/view/95640 does not contain the latest release (Z3 v4.3.1). We don't create zip files with source code anymore because codeplex automatically generates them for any version. See this link for additional details.

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

EDIT on February 2013, we started to provide nightly builds for all major platforms (including OSX). Here are instruction on how to download these pre-compiled binaries. END EDIT

这篇关于在Mac OS X上构建Z3的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！