问为OCaml编译Z3
EN

Stack Overflow用户

提问于 2011-06-03 07:17:39

回答 1查看 352关注 0票数 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，然后错误发生了，有人知道吗？

compilation

ocaml

回答 1

Stack Overflow用户

发布于 2011-06-03 14:45:15

您安装了camlidl吗？

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/6221443

复制

相似问题

问为OCaml编译Z3
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为OCaml编译Z3EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为OCaml编译Z3
EN