--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on July 2016 ---
Having FRAMAC Neon version installed, trying to install jessie plug-in, getting into the following problem. Chosen Why3-0.83 and why2-35. While installing why3, following is the issue: output of configure command is : Verbose make : no OCaml compiler : yes Version : 4.02.3 Library path : /usr/local/lib/ocaml Native compilation : yes Profiling : no Zarith : no (zarith not found) IDE : no (lablgtk2 not found) Bench tool : no (sqlite3 not found) Documentation : no (rubber not found) Coq support : yes Version : 8.4pl4 Library path : /usr/lib/coq "why3" tactic : no (/usr/lib/coq/kernel/term.cmi not found) Realization support : yes FP arithmetic : no (Flocq >= 2.2 not found) PVS support : no (pvs not found) Isabelle support : no (isabelle not found) Frama-C support : no (disabled by default) Hypothesis selection : no (ocamlgraph not found) Installable : yes Binary path : ${exec_prefix}/bin Lib path : ${exec_prefix}/lib/why3 Data path : ${prefix}/share/why3 Ocaml Library : /usr/local/lib/ocaml/why3 Relocatable : no With make command, following is the error thrown: File "src/driver/call_provers.ml", line 1: Error: src/util/debug.cmi is not a compiled interface for this version of OCaml. It seems to be for an older version of OCaml. Makefile:1685: recipe for target 'src/driver/call_provers.cmx' failed make: *** [src/driver/call_provers.cmx] Error 2 Please, help me out to solve this. Regards, Prasuna -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160715/5dbf5771/attachment.html>