在Mac Os Mountain Lion上安装Z3

Question

我似乎无法在Max OS X Mountain Lion上安装Z3（4.3.1）（正确安装了Xcode / Command Line工具）。问题是Xcode及其命令行工具没有安装/附带autconf。

我是否需要从源代码下载并安装autoconf / automake等？

Answer 1

是的，我们需要autoconf来安装Z3 v4.3.1。 下一个版本不会有这种依赖。 与此同时，我们可以在不使用autoconf的情况下构建unstable（正在进行中）分支。 Here是编译unstable分支的指令。 相同的指令也可用于编译contrib分支。该分支基本上是contrib +外部（非MS）贡献。