--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on July 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dependency of ocaml version on why3-0.83



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>