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

[Frama-c-discuss] Installing Jessie plugin



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>