--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C fails to build on Debian



Hi,

I'm not the maintainer, just a prospective user taking a look, but Frama-C 
hasn't been building from source in a while [1] and I couldn't find a bug for 
it. It fails with
File "src/plugins/wp/ProverWhy3.ml", line 131, characters 29-45:
131 |   Why3.(Term.t_const Number.(const_of_big_int (BigInt.of_string 
(Z.to_string z)))) Why3.Ty.ty_int
Error: Unbound value const_of_big_int

I wonder if anyone's seen this issue, and how it should be debugged or what 
information would be helpful for a bug report. The Debian issue has the full 
build log as well.

Thanks,
John Scott

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959599
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200604/7d63c10e/attachment.sig>