在Mac上安裝Z3 Os Mountain Lion

Question

我似乎無法在Max OS X Mountain Lion上安裝Z3（4.3.1）（正確安裝Xcode /命令行工具）。問題是autocon未安裝/附帶Xcode及其命令行工具。

是否需要從源代碼下載並安裝autoconf/automake等？

Answer 1

是的，我們需要autoconf來安裝Z3 v4.3.1。 下一個版本不會有這種依賴性。 與此同時，我們可以在不使用autoconf的情況下構建unstable（工作進行中）分支。 Here是編譯unstable分支的指令。 同樣的指令也可以用來編譯contrib分支。該分支基本上是contrib +外部（非MS）分配。