在Mac上安装Z3 Os Mountain Lion
问题描述：
我似乎无法在Max OS X Mountain Lion上安装Z3（4.3.1）（正确安装Xcode /命令行工具）。问题是autocon未安装/附带Xcode及其命令行工具。在Mac上安装Z3 Os Mountain Lion
是否需要从源代码下载并安装autoconf/automake等？
答
是的，我们需要autoconf来安装Z3 v4.3.1。 下一个版本不会有这种依赖性。 与此同时，我们可以在不使用autoconf的情况下构建unstable（工作进行中）分支。 Here是编译unstable分支的指令。 同样的指令也可以用来编译contrib分支。该分支基本上是contrib +外部（非MS）分配。