我尝试为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，错误发生了，有人有想法吗？