Jessie Plugin Integration mit Frama-c Aluminium

Question

Wie zu integrieren Jessie ein externes Plugin (warum 2.36) mit Frama-c Aluminium?

Answer 1

Sie können nicht. Warum 2.36 ist nur kompatibel mit Frama-C Magnesium. Der Master-Zweig von Why's git-Repository scheint jedoch mit Frama-C Aluminium kompatibel zu sein (Disclaimer: Ich habe nur überprüft, dass das Plugin gut kompiliert, aber nicht versucht, einen Beweis dafür zu erstellen).

Das git-Repository an https://scm.gforge.inria.fr/anonscm/git/why/why.git/ befindet Es kann durch die folgenden Schritte installiert werden:

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, wenn Sie OPAM verwenden, können sie auch als Abonnenten-Version installiert werden, warum: 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 ]