ocaml - Frama-C 未绑定(bind)模块 Z 构建错误

Question

使用 Ubuntu 14.04，我下载了 Neon Frama-C 发行版，并安装了所需的工具:labgtk、sourceview 等。我配置 Frama-C 没问题，但在构建时得到:

File "external/unz.ml", line 39, characters 10-19:
Error: Unbound module Z
make: *** [external/unz.cmo] Error 2

问题是

 let n = Z.of_bits str in

其中 Z 表示未导入的模块(我猜)。我不知道 Z 应该指的是什么，所以我无法尝试解决这个问题。

Answer 1

你安装了zarith库(libzarith-ocaml-dev 在 Ubuntu 下)？ Frama-C 可以为任意精度整数使用两个库:Bignum ，它包含在 OCaml 发行版中(尽管我不会对 Debian/Ubuntu 确实设法将其制成一个单独的软件包感到惊讶)，或 Zarith ，更新，更有效的实现。 unz.ml是绑定(bind)代码的一部分Zarith到 Frama-C，因此如果您没有 Zarith安装，编译时会遇到一些问题。

通常情况下，./configure应该注意选择合适的库。您可以在 config.log 中查看它的发现。 .一个可能的问题是您有包 libzarith-ocaml已安装但未安装 libzarith-ocaml-dev .在这种情况下，安装了库本身(并且可能被 ./configure 检测到)，但没有安装针对它编译代码所需的头文件。