Skip to content

Build fails due to Printexc.record_backtrace

ID0000169: This issue was created automatically from Mantis Issue 169. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000169 Frama-C Kernel public 2009-06-29 2014-02-12
Reporter nsh Assigned To signoles Resolution fixed
Priority normal Severity minor Reproducibility have not tried
Platform - OS - OS Version -
Product Version Frama-C Beryllium-20090601-beta1 Target Version - Fixed in Version Frama-C Beryllium-20090901

Description :

During build I get

File "src/kernel/boot.ml", line 72, characters 38-63: Unbound value Printexc.record_backtrace

if Parameters.Debug.get () > 0 then Printexc.record_backtrace true;

Packages I have installed on my Fedora 10

ocaml-camlp4-3.10.2-5.fc10.i386 ocaml-camlp5-5.09-1.fc10.i386 ocaml-runtime-3.10.2-5.fc10.i386 ocaml-3.10.2-5.fc10.i386

It would be nice to check for required API in configure

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information