我正在尝试建立Z3 http://z3.codeplex.com/releases/view/95640在 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 to 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 http://z3.codeplex.com/releases/view/95640不包含最新版本（Z3 v4.3.1）。我们不再使用源代码创建 zip 文件，因为 codeplex 会自动为任何版本生成它们。看这个链接 http://research.microsoft.com/en-us/um/people/leonardo/blog/2012/11/11/reorg-z3.html了解更多详细信息。
EDIT2013 年 2 月，我们开始为所有主要平台（包括 OSX）提供夜间构建。Here http://research.microsoft.com/en-us/um/people/leonardo/blog/2013/02/15/precompiled.html有关如何下载这些预编译的二进制文件的说明。END EDIT
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
