--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Using an installed copy of Why?



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                    |