--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on August 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Frama-C/Why/Jessie



Hello,

Le 21/08/2014 23:18, Stephen Siegel a ?crit :
> But things go wrong when installing why.  It starts by downgrading frama-c to 20130601

Sorry, I won't be very helpful but I warned about this issue of why-0.34 
not in opam in June and apparently this has not been sorted out:
   http://lists.gforge.inria.fr/pipermail/why-discuss/2014-June/000690.html

My advice would be to install everything with opam except Why that you 
should install manually. I've done it, I don't know if it works or not.

Good luck!
Best regards,
david