--- layout: fc_discuss_archives title: Message 53 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)



Hello,

Glad to know that your installation went (mostly) well. Why2/Jessie's
configure is automatically generated. Just type autoconf in Why2 root
directory to create it.

Hope this helps,

On Fri, Sep 6, 2013 at 7: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
>
> _______________________________________________
> 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



-- 
Boris