--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on July 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installing Jessie plugin




Le 15/07/2016 11:40, Prasuna Saka a écrit :
> Having FRAMAC Neon version installed, trying to install jessie plug-in,
> getting into the following problem.
> 
> Chosen Why3-0.83 and why2-35.

please be careful with the dependencies : see http://krakatoa.lri.fr/

however, as I said before with opam the proper dependencies should be
chosen for you.

- Claude



-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |