--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on July 2016 ---
Hi, I am having FRAMA-C Version:Neon-20140301 installed. Want to install Jessie Plug-in. As per the dependency tree listed in the web page of Krakatoa and Jessie , compatible Why version is 2.34, which got installed successfully. However, when trying to install Why3-0.83 , following error is thrown: Output of running configure command: Verbose make : no OCaml compiler : yes Version : 4.02.3 Library path : /root/.opam/4.02.3/lib/ocaml Native compilation : yes Profiling : no Zarith : yes IDE : yes Bench tool : no (sqlite3 not found) Documentation : no (rubber not found) Coq support : no (version is 8.5pl2 but need version 8.4 or higher) PVS support : no (pvs not found) Isabelle support : no (isabelle not found) Frama-C support : no (disabled by default) Hypothesis selection : yes Installable : yes Binary path : ${exec_prefix}/bin Lib path : ${exec_prefix}/lib/why3 Data path : ${prefix}/share/why3 Ocaml Library : /root/.opam/4.02.3/lib/why3 Relocatable : no Error with make command: 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 May I please know what is this error for and how to resolve it? Thanks Prasuna -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160714/d201f075/attachment.html>