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: amdunn at gmail.com (Alan Dunn)
  • Date: Tue, 30 Dec 2008 11:01:32 -0500
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