如何整合 Jessie一个外部插件（为什么2.36）用 Frama-c铝？
答案 0 :(得分：1)
你不能。为什么2.36只与Frama-C镁兼容。但是，Why的git存储库的主分支似乎与Frama-C Aluminium兼容（免责声明：我只检查过该插件编译得很好，但没有试图用它做任何证明它）。
git存储库位于https://scm.gforge.inria.fr/anonscm/git/why/why.git/它可以通过以下步骤安装：
git clone https://scm.gforge.inria.fr/anonscm/git/why/why.git/
cd why
autoconf
./configure [--prefix=MY_LOCAL_INSTALL]
make
[sudo] make install
可选地，如果您正在使用opam，它也可以作为固定版本的原因安装：
opam pin add why --kind git --edit https://scm.gforge.inria.fr/anonscm/git/why/why.git/
[ you will be able to edit the opam instruction file: change the version
number to something like 9999 and add ["autoconf"] at the top of the list
of build steps ]