--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on August 2014 ---
Good evening, The OPAM package for Why 2.34 is now available, sorry for the late reaction. opam install why should install all dependencies, including why3 and frama-c - Claude On 08/22/2014 09:22 AM, David MENTRE wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss