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



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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130906/fa21d9a4/attachment.html>