在 linux 中编译 z3 ocaml 绑定 [英] Compiling z3 ocaml binding in linux

问题描述

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

I am trying to compile the OCaml binding for z3 in Linux.

我尝试使用提供的 Makefile:我做了make ocamlrelease"但它因错误而中止cp: 无法统计 `ml_release/build-lib.sh': 没有那个文件或目录

I tried using the provided Makefile: I did "make ocamlrelease" but it aborts with the error cp: cannot stat `ml_release/build-lib.sh': No such file or directory

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

I also read the included readme.txt in the ml directory and it says to use SLAM and SDT, but these seem to work only in Windows, not Linux.

如何编译 OCaml 绑定?

How can I compile the OCaml binding?

谢谢，何塞

推荐答案

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

We are currently working on this issue. It should be fixed soon. Right now, the ML bindings available at http://z3.codeplex.com do not work. There are some broken references and Windows only dependencies. This will be fixed.

这篇关于在 linux 中编译 z3 ocaml 绑定的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！