--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-discuss Digest, Vol 29, Issue 13



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:
 http://www.dwheeler.com/essays/releasing-floss-software.html

--- David A. Wheeler