JessieプラグインとFrama-cの統合

Question

統合の仕方 Jessieの外部プラグイン（なぜ2.36）を Frama-cで表示しますか？

Answer 1

できません。なぜ2.36はFrama-Cマグネシウムとしか互換性がないのですか？しかし、WhyのgitリポジトリのmasterブランチはFrama-C Aluminumと互換性があるようです（免責事項：プラグインはコンパイルされていることを確認しただけですが、何の証明もしなかった）。

gitリポジトリは、それは次のようにしてインストールすることができますhttps://scm.gforge.inria.fr/anonscm/git/why/why.git/次の場所にあります。 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 ]

：

git clone https://scm.gforge.inria.fr/anonscm/git/why/why.git/ cd why autoconf ./configure [--prefix=MY_LOCAL_INSTALL] make [sudo] make install Optionnallyあなたがopamを使用している場合、それはまた、なぜの固定バージョンとしてインストールすることができます