Ubuntu 14.04 を使用して、Neon Frama-C ディストリビューションをダウンロードし、必要なツール (labgtk、sourceview など) をインストールしました。
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 が何を参照することになっているのかわからないので、これを修正しようとする方法がありません。