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