Compiling Z3 for OCaml

I tried to compile the OCaml version for Z3, however when I build it, it always shows a bunch of error and warning.

These are several of the errors:

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'

I dont really get it, I just try to run the开发者_开发百科 build.cmd, and the error happens, anyone has an idea?

---

Do you have camlidl installed?