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

[Frama-c-discuss] Why 2.34 (includes Jessie plugin of Frama-C) available in OPAM



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