--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on October 2013 ---
Le 09/10/2013 21:42, Stephen Siegel a ?crit : > Then I was able to complete opam install frama-c and opam install why. > However when I run "frama-c -jessie" I get "[kernel] user error: option > `-jessie' is unknown." and jessie is not in my list of available plug-ins. > > why3config seems to be working normally. > > why2 is there: > > system$ why -version > This is why version 2.32, compiled on Mon Apr 8 15:56:31 MDT 2013 > > Any ideas? why 2.32 is compatible with Frama-C Oxygen but not fluorine. If Why find a Frama-C version that is not compatible, it still compiles but does not compile the plugin. The latest version of why in opam is 2.33, you should install this one, I guess. Read carefully the output of compilation, in particular the configure process at the beginning Hope this helps, - claude -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |