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 ファイルを作成する必要はもうありません。詳細については、このリンクを参照してください。
編集 2013 年 2 月に、すべての主要なプラットフォーム (OSX を含む) 向けのナイトリー ビルドの提供を開始しました。これらのコンパイル済みバイナリをダウンロードする方法について説明します 。編集終了