和杰西一起启动Frama-c neon

Question

我已经安装了frama-c和why3，但当我尝试启动frama-c时，jessie3出现错误。

frama-c -verbose 2
[kernel] warning: cannot load plug-in `Jessie3' (incompatible with Neon-20140301).
The exact failure is: error loading shared library:
/usr/local/lib/framac/plugins/Jessie3.cmxs: undefined symbol: camlGzip

我没有找到任何关于camlGzip的信息，所以它可能是任何配置文件中的错误(它可以是camlzip)，但我没有找到它的声明位置。

编辑:我曾尝试修改Jessie3.cmxs的camlzip中的camlGzip，但是当我启动frama-c时，它产生了一个分段错误。

我的frama-c和Why3版本：

frama-c -version
Version: Neon-20140301

why3 --version
Why3 platform, version 0.85 (build date: Wed Oct 29 10:42:47 CET 2014)

我在Mint17虚拟机上工作，每个程序的./configure和make都没有错误

我希望有人已经有了这个问题，可以帮助我

Answer 1

我只是遇到了这个问题，并解决了它。你必须安装为什么-2.34来安装杰西到你的frama-c库。可从以下链接下载：https://opam.ocaml.org/packages/why/why.2.34/

我在编译它时遇到了一些问题，因为我必须删除coq才能成功编译它。顺便说一下，任何人知道我应该如何报告coq编译错误，请帮助。

另外，如果你有Why3.85，我建议你降级到3.83，因为它似乎是唯一被Why.2.34识别的版本。

干杯。