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檢測），但不是編譯代碼所需的頭文件。