Установка Z3 на Mac Os Mountain Lion

Question

Я не могу установить Z3 (4.3.1) на Max OS X Mountain Lion (с установленным инструментом Xcode/Command Line). Проблема заключается в том, что autconf не устанавливается/не поставляется с Xcode и его инструментом командной строки.

Нужно ли загружать и устанавливать autoconf/automake и т. Д. Из источника?

Answer 1

Да, нам необходимо установить autoconf для установки Z3 v4.3.1. Следующий выпуск не будет иметь этой зависимости. Тем временем мы можем построить ветку unstable (незавершенное производство) без использования autoconf. Here - инструкция по сборке ветви unstable. Те же инструкции могут быть использованы и для компиляции ветви contrib. Эта ветвь по существу равна contrib + внешние (не-MS) взносы.