--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)



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>