Compilation 为OCaml编译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

，然后发生了错误，有人知道吗？

你已经安装了吗？

我不明白，camlidl会生成存根代码，不是吗？我已经在那里找到了存根文件，它们是

z3_stubs.c

和

z3_理论_stubs.c

，但是camlidl需要运行时支持。编译器能否找到camlidlruntime.h和libcamlidl.a？