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: boris at yakobowski.org (Boris Yakobowski)
- Date: Fri, 6 Sep 2013 20:10:26 +0200
- In-reply-to: <CAOGRM5ak-pzqTQCMXcxki7isRSohbGCx_N9DjC3FVCEPvYjKxA@mail.gmail.com>
- References: <CAOGRM5ak-pzqTQCMXcxki7isRSohbGCx_N9DjC3FVCEPvYjKxA@mail.gmail.com>
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
- References:
- [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Prev by Date: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Next by Date: [Frama-c-discuss] How would one annotate a function in an external header?
- Previous by thread: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Next by thread: [Frama-c-discuss] Which version of Frama-C/Why to use PVS ? (Jessie or WP)
- Index(es):