Jessie 插件與 Frama-c 鋁的集成

Question

如何將 Jessie 外部插件（為什么是 2.36）與 Frama-c Aluminium 集成？

Answer 1

你不能。 為什么 2.36 只與 Frama-C Magnesium 兼容。 但是，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 ]