我已经安装了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都没有错误
我希望有人已经遇到这个问题，可以帮助我
答案 0 :(得分：0)
我刚遇到这个问题并且有点修复它。 您必须安装Why-2.34才能将jessie安装到您的frama-c lib。从以下链接下载：https://opam.ocaml.org/packages/why/why.2.34/
我在编译时遇到了一些麻烦，因为我必须删除coq才能成功编译它。 BTW任何人都知道如何报告coq编译错误请帮忙。
此外，如果你有Why3.85，我建议你降级到3.83，因为它似乎是唯一被Why.2.34认可的版本。
干杯。