在linux中编译z3 ocaml绑定

Question

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

我尝试使用提供的Makefile：我做了“make ocamlrelease”但是它因错误而中止 cp：不能统计`ml_release / build-lib.sh'：没有这样的文件或目录

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

如何编译OCaml绑定？

谢谢， 何

Answer 1

我们目前正致力于解决此问题。它应该很快修复。现在，http://z3.codeplex.com提供的ML绑定不起作用。有一些损坏的引用和Windows唯一的依赖项。这将是固定的。