2

我正在尝试在 Linux 中为 z3 编译 OCaml 绑定。

我尝试使用提供的 Makefile：我做了“make ocamlrelease”，但它中止并出现错误 cp: cannot stat `ml_release/build-lib.sh': No such file or directory

我还阅读了 ml 目录中包含的 readme.txt，它说要使用 SLAM 和 SDT，但这些似乎只适用于 Windows，而不适用于 Linux。

如何编译 OCaml 绑定？

谢谢，何塞

4

1 回答 1

1

我们目前正在研究这个问题。它应该很快修复。目前，http: //z3.codeplex.com上提供的 ML 绑定不起作用。有一些损坏的引用和仅限 Windows 的依赖项。这将得到修复。

于 2012-10-08T15:38:41.077 回答