Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Using an installed copy of Why?
  • From: Claude.Marche at inria.fr (Claude Marché)
  • Date: Mon, 05 Jan 2009 09:40:55 +0100
  • In-reply-to: <f90695ee0812300801v5d448ceape6812d3ae284b4bc@mail.gmail.com>
  • References: <f90695ee0812300801v5d448ceape6812d3ae284b4bc@mail.gmail.com>
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                    |