1
Comment intégrer Jessie un plugin externe (pourquoi 2.36) avec Frama-c Aluminium?Intégration du plug-in Jessie avec Frama-c Aluminium
A
Répondre
1
Vous ne pouvez pas. Pourquoi 2.36 est seulement compatible avec Frama-C Magnésium. Cependant, la branche master du dépôt git de Why semble être compatible avec Frama-C Aluminium (avertissement: j'ai seulement vérifié que le plugin compile bien, mais n'a pas essayé de faire de preuve avec lui).
Le dépôt git est situé à https://scm.gforge.inria.fr/anonscm/git/why/why.git/ Il peut être installé à travers les étapes suivantes:
git clone https://scm.gforge.inria.fr/anonscm/git/why/why.git/ cd why autoconf ./configure [--prefix=MY_LOCAL_INSTALL] make [sudo] make install Optionnellement, si vous utilisez OPAM, il peut également être installé comme une version épinglé pourquoi: 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 ]