2

我尝试为Z3编译 OCaml 版本，但是当我构建它时，它总是显示一堆错误和警告。

这些是几个错误：

z3_stubs.c:7384: error: storage size of `_ctxs' isn't known
z3_stubs.c:7385: error: `camlidl_ctx' undeclared (first use in this function)
z3_stubs.c:7385: error: expected `;' before `_ctx'

我真的不明白，我只是尝试运行build.cmd，然后发生错误，有人知道吗？

4

1 回答 1

1

你有安装camlidl吗？

于 2011-06-03T06:45:14.670 回答