我正在尝试在 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 绑定？
谢谢，何塞
问问题
451 次
1 回答
1
我们目前正在研究这个问题。它应该很快修复。目前，http: //z3.codeplex.com上提供的 ML 绑定不起作用。有一些损坏的引用和仅限 Windows 的依赖项。这将得到修复。
于 2012-10-08T15:38:41.077 回答