--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2009 ---
Yes, the next Frama-C major version (aka Beryllium) will not be distributed with a Why version anymore. For Lithium version: we have taken care of this fact by releasing a Why version synchronized with Frama-C. So for a package, my suggestion is to build two packages and make a dependency of Frama-C on that precise Why package. Of course, even better will be to provide more small packages, like Frama-C without the Jessie plugin, without the GUIs, etc. But it would require much harder work, for small benefit since most users would be OK for having everything by default - Claude Alan Dunn wrote: > I emailed out about this a while back, but thought I would ask again > (I didn't pursue this to the degree that I should have): > > My understanding is that Frama-C can only use a version of Why that it > installs. While it is capable of not overwriting an existing Why > installation, it will not use such an installation even if that > installation is of an appropriate version. I would like to know > whether there are plans to allow Frama-C to use an installed version > of Why or if there are not, whether such a feature can be added. > The > reason this would be good is that it is otherwise difficult to package > Frama-C for use in Linux distributions: although it uses Why, it will > be incompatible with a Why package, and any extra > distribution-specific changes that are made to Why would also have to > be separately applied to Frama-C (that is, to the copy of Why > contained within Frama-C). Several people have requested the Frama-C > as a package for a distribution I have contributed to (Fedora), and I > would be happy to help package this program if this change is made. > (Of course, I can try to package the program without the change, but > the way it will be packaged will be suboptimal.) > > - Alan > > _______________________________________________ > 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 -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |