Z3 (4.3.1) を Max OS X Mountain Lion にインストールできないようです (Xcode/コマンド ライン ツールが正しくインストールされています)。問題は、autconf が Xcode とそのコマンド ライン ツールと共にインストール/出荷されていないことです。
ソースから autoconf/automake などをダウンロードしてインストールする必要がありますか?
質問する
759 次
Z3 (4.3.1) を Max OS X Mountain Lion にインストールできないようです (Xcode/コマンド ライン ツールが正しくインストールされています)。問題は、autconf が Xcode とそのコマンド ライン ツールと共にインストール/出荷されていないことです。
ソースから autoconf/automake などをダウンロードしてインストールする必要がありますか?
はい、Z3 v4.3.1 をインストールするには autoconf が必要です。次のリリースには、この依存関係はありません。unstableそれまでの間、 autoconf を使用せずに (進行中の) ブランチを
構築できます。ブランチをコンパイルする手順は次のとおりです。同じ命令を使用してブランチunstableをコンパイルすることもできます。contribこのブランチは基本的にcontrib+ 外部 (非 MS) の貢献です。