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] Frama-c-discuss Digest, Vol 29, Issue 13

  • Subject: [Frama-c-discuss] Frama-c-discuss Digest, Vol 29, Issue 13
  • From: dwheeler at (David A. Wheeler)
  • Date: Wed, 13 Oct 2010 12:01:50 -0400 (EDT)
  • In-reply-to: <000401cb6ac2$aeeda280$0cc8e780$@com>
  • References: <> <000401cb6ac2$aeeda280$0cc8e780$@com>

Mark Rader:
> Believe it or not there were no patches necessary to complete the build.

Strictly speaking that's true, but the Fedora package does have sed commands
(in the frama-c and why package specifications) that have the same effect.

In any case, there are definitely some small changes that could be made to Frama-c
(and why) that would make it MUCH easier to package. I'm working with Mark Rader
to get those worded well, so we can submit them to for bug tracking.
If you're interested in the general principles, I recommend this page:

--- David A. Wheeler