Компиляция привязки z3 ocaml в linux

Я пытаюсь скомпилировать привязку OCaml для z3 в Linux.

Я попытался использовать предоставленный Makefile: я сделал «сделать ocamlrelease», но он прерывается с ошибкой cp: cannot stat `ml_release/build-lib.sh': нет такого файла или каталога

Я также прочитал включенный файл readme.txt в каталоге ml, и в нем говорится об использовании SLAM и SDT, но, похоже, они работают только в Windows, а не в Linux.

Как мне скомпилировать привязку OCaml?

Спасибо, Хосе.


z3
person José Lopes    schedule 08.10.2012    source источник

Ответы (1)


arrow_upward
1
arrow_downward

В настоящее время мы работаем над этим вопросом. Это должно быть исправлено в ближайшее время. В настоящее время привязки ML, доступные по адресу http://z3.codeplex.com, не работают. Есть некоторые неработающие ссылки и зависимости только для Windows. Это будет исправлено.

person Leonardo de Moura    schedule 08.10.2012