编译linux中的z3 ocaml绑定

Question

我想在Linux中编译zam的OCaml绑定。

我尝试使用提供的Makefile：我没有“做ocamlrelease”，但它与错误 CP中止：不能STAT`ml_release/build-lib.sh'：没有这样的文件或目录

我也读包含在ml目录中的readme.txt，它表示使用SLAM和SDT，但这些似乎只能在Windows而不是Linux中使用。

如何编译OCaml绑定？

感谢， 何塞

Answer 1

我们目前正在努力解决这一问题。它应该尽快解决。现在，在http://z3.codeplex.com可用的ML绑定不起作用。有一些破坏的引用和仅Windows依赖关系。这将被修复。