Jessie插件与Frama-c铝材的集成
如何将Jessie一个外部插件(为什么是2.36)与Frama-c Aluminium集成？
回答 1
Stack Overflow用户
发布于 2016-09-23 15:02:45
你不能。为什么2.36只与Frama-C镁兼容。然而，为什么的git仓库的主分支似乎与Frama-C Aluminium兼容(免责声明:我只检查了插件编译得很好，但没有试图用它做任何证明)。
git存储库位于https://scm.gforge.inria.fr/anonscm/git/why/why.git/，可以通过以下步骤进行安装：
如果您使用的是opam，也可以将其安装为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 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 ]
https://stackoverflow.com/questions/39643274
复制相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号