Frama-C未绑定模块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库（Ubuntu下的libzarith-ocaml-dev ）吗？ Frama-C可以使用两个库来获得任意精度整数： Bignum ，它包含在OCaml发行版中（虽然我不会惊讶于Debian / Ubuntu确实设法使它成为一个单独的包），或者Zarith ，一个更新的，更多有效实施。 unz.ml是将Zarith绑定到Frama-C的代码的一部分，因此如果你没有安装Zarith ，你将会Zarith一些问题。

通常， ./configure应该注意选择适当的库。 您可以检查它在config.log中找到的内容。 可能的问题是您安装了libzarith-ocaml包，但没有安装libzarith-ocaml-dev 。 在这种情况下，库本身已安装（并且可能由./configure检测），但不是编译代码所需的头文件。