为 OCaml 编译 Z3

【问题标题】：Compiling Z3 for OCaml为 OCaml 编译 Z3
【发布时间】：2011-09-07 11:09:27
【问题描述】：

我尝试编译 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 z3

【解决方案1】：

您是否安装了camlidl？

【讨论】：

我不明白，camlidl 会生成存根代码，不是吗？我已经在那里找到了存根文件，它们是z3_stubs.c 和z3_theory_stubs.c
但是 camlidl 需要运行时支持。编译器能找到camlidlruntime.h和libcamlidl.a吗？