我似乎无法在 Max OS X Mountain Lion 上安装 Z3（4.3.1）（正确安装了 Xcode/命令行工具）。问题是 autconf 没有随 Xcode 及其命令行工具一起安装/提供。
我需要从源代码下载并安装 autoconf/automake 等吗？
问问题
759 次
我似乎无法在 Max OS X Mountain Lion 上安装 Z3（4.3.1）（正确安装了 Xcode/命令行工具）。问题是 autconf 没有随 Xcode 及其命令行工具一起安装/提供。
我需要从源代码下载并安装 autoconf/automake 等吗？
是的，我们需要 autoconf 来安装 Z3 v4.3.1。下一个版本将没有这种依赖关系。同时，我们可以unstable在不使用 autoconf 的情况下构建 (work-in-progress) 分支。
这是编译unstable分支的指令。相同的指令也可用于编译contrib分支。这个分支本质上是contrib+ 外部（非 MS）贡献。