在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

回答