Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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