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