--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on September 2013 ---
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