--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-C Fluorine + jessie



Perfect! Thank you a lot!
and sorry, I haven't seen the output of the ./configure (it was well
written that the frama-C plugin was disabled because of the frama-c
version).

It works now!

Thanks again!
Maria


2013/8/22 Claude Marche <Claude.Marche at inria.fr>

>
>
> On 08/22/2013 10:07 AM, Maria Christofi wrote:
> > You are right. I was using an older version of why.
> > I installed why2.33, but I still have a problem. Jessie is installed,
> > but I guess that it is normal that it does not appear in the list of
> > available plugins.
>
> No it is not. Please check carefully the output of ./configure when
> configuring Why 2.33.
>
> I just realize that there is a newer version of Fluorine. You may need
> to edit the configure.in file of Why and change the string
> "Fluorine-20130401" into "Fluorine-20130601"
>
>
> > Do we need to copy jessie files into frama-c/plugins in order to frama-c
> > recognises jessie as a plugin? (or is there a smarter way to do it...?)
>
> You don't need to do that by hand, "make install" of Why 2.33 should do
> that for you
>
> - Claude
>
> > Thanks again :)
> >
> >
> > 2013/8/22 Claude Marche <Claude.Marche at inria.fr
> > <mailto:Claude.Marche at inria.fr>>
> >
> >
> >     The jessie plugin for Fluorine is compiled and installed when
> >     compiling/installing Why 2.33. You need also to install Why3 before.
> See
> >     http://krakatoa.lri.fr/ for details
> >
> >     - Claude
> >
> >     On 08/21/2013 05:31 PM, Maria Christofi wrote:
> >     > Goodmorning everyone,
> >     >
> >     > I wanted to try the new Frama-C's release today, but I am afraid
> that
> >     > the Jessie plugin is not supported anymore (at least it is not
> present
> >     > in the list of frama-c available plugins).. Is that right or am I
> >     doing
> >     > something wrong?
> >     >
> >     > Thanks in advance!
> >     > --
> >     > Maria Christofi
> >     >
> >     >
> >     > _______________________________________________
> >     > Frama-c-discuss mailing list
> >     > Frama-c-discuss at lists.gforge.inria.fr
> >     <mailto:Frama-c-discuss at lists.gforge.inria.fr>
> >     >
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
> >     >
> >
> >     _______________________________________________
> >     Frama-c-discuss mailing list
> >     Frama-c-discuss at lists.gforge.inria.fr
> >     <mailto:Frama-c-discuss at lists.gforge.inria.fr>
> >
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
> >
> >
> >
> >
> > --
> > Maria Christofi
> >
> >
> > _______________________________________________
> > 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
> >
>
> _______________________________________________
> 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
>



-- 
Maria Christofi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130822/044189ec/attachment.html>