--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on September 2013 ---
Hi Guillaume & all Actually I have installed why-2.32 and it works perfect. frama-c jessie foo.c opens why3 Regards On Fri, Sep 6, 2013 at 6:39 PM, Dragan <dragan.stosic at gmail.com> wrote: > I have successfully installed frama-c Oxygen, why3 platform and PVS 6.0 > on my Ubuntu 12.04. > As per response on ( > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2012-December/003476.html > ), > I need jessie-for-oxygen in order to provide support for PVS 6.0 . > I have downloaded from svn link as username guest and password guest. > However > there is no configure file suggested in the INSTALL document. > I am wondering how to install jessie-for-oxygen ? Can you please provide > configure file missed in the jessie-for-oxygen branch. > Thanks in advance > > -- > Dragan Stosic > Senior developer at IBM > phone: 085-773-1050 > e-mail: dragan.stosic at gmail.com > e-mail:DRAGANST at ie.ibm.com > IBM Technology Campus > Damastown Industrial Estate > Mulhuddart > Dublin 15 > Ireland > -- Dragan Stosic Senior developer at IBM phone: 085-773-1050 e-mail: dragan.stosic at gmail.com e-mail:DRAGANST at ie.ibm.com IBM Technology Campus Damastown Industrial Estate Mulhuddart Dublin 15 Ireland -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130907/da80fd79/attachment-0001.html>