All geek questions in one place

Fram-C Z module assembly error

Using Ubuntu 14.04, I downloaded the Neon Frama-C distribution kit and installed the necessary tools: labgtk, sourceview, etc. I configured Frama-C without problems, but when creating it I got:

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

Problem

 let n = Z.of_bits str in

where Z denotes a module that is not imported (I think). I don't know what Z should refer to, so I'm not trying to fix it.

+4
source share
1 answer

zarith (libzarith-ocaml-dev Ubuntu)? Frama-C : Bignum, OCaml ( , Debian/Ubuntu ) zarith, , . unz.ml , zarith Frama-C, , zarith, .

./configure . , config.log. , libzarith-ocaml, libzarith-ocaml-dev. ​​( ./configure), , .

+7

Source: https://habr.com/ru/post/1542252/

More articles:


All Articles