--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Mac install




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                    |