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)

  • Subject: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
  • From: dragan.stosic at gmail.com (Dragan)
  • Date: Fri, 6 Sep 2013 18:39:31 +0100
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>