Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-C fails to build on Debian
  • From: jscott at posteo.net (John Scott)
  • Date: Thu, 04 Jun 2020 12:42:59 -0400
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>