--- layout: fc_discuss_archives title: Message 73 from Frama-C-discuss on December 2008 ---
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