Description of problem: Would it be possible to update why to the latest version (2.17) ? Version-Release number of selected component (if applicable): why-2.14-2.fc10 Additional info: Why 2.17 is one of the frama-c (http://frama-c.cea.fr/) requirements.
(In reply to comment #0) > Description of problem: > Would it be possible to update why to the latest version (2.17) ? > > > Version-Release number of selected component (if applicable): > why-2.14-2.fc10 > > > Additional info: > Why 2.17 is one of the frama-c (http://frama-c.cea.fr/) requirements. I am in the process of testing the update (building on Koji) right now. However, from my understanding this won't affect an install of Frama-C: It includes its own copy of Why. I previously asked the creators of Frama-C to package their software in a way such that it could use an already installed copy of Why. Instead, it seems as though the software now allows you to maintain your own copy of Why separate from Frama-C, but still uses its own copy of Why. This is detrimental to efforts to package Frama-C, which I would also like to do at some point (maybe if users like you complain?).
why-2.17-1.fc10 has been submitted as an update for Fedora 10. http://admin.fedoraproject.org/updates/why-2.17-1.fc10
why-2.17-1.fc9 has been submitted as an update for Fedora 9. http://admin.fedoraproject.org/updates/why-2.17-1.fc9
Thanks for the update. (In reply to comment #1) > ... > However, from my understanding this won't affect an install of Frama-C: It > includes its own copy of Why. I previously asked the creators of Frama-C to > package their software in a way such that it could use an already installed > copy of Why. Instead, it seems as though the software now allows you to > maintain your own copy of Why separate from Frama-C, but still uses its own > copy of Why. You're right (I only skimmed through the configure --help output and thought that the option --with-whydir would allow me specify the location of an installed why binary). > This is detrimental to efforts to package Frama-C, which I would > also like to do at some point (maybe if users like you complain?). I try to contact the frama-c author during the next few days and will keep you posted. /jpo
BTW, I have here a draft of a frama-c specfile: ftp://perl.di.uminho.pt/pub/fedora/frama-c.spec Notes: * It builds in Fedora 10; * It also installs the why binaries (and they cause several file conflicts with the why rpm).
why-2.17-1.fc9 has been pushed to the Fedora 9 stable repository. If problems still persist, please make note of it in this bug report.
why-2.17-1.fc10 has been pushed to the Fedora 10 stable repository. If problems still persist, please make note of it in this bug report.
And the answer to your query in the frama-c mailing list [1] ;) <quote> Yes, the next Frama-C major version (aka Beryllium) will not be distributed with a Why version anymore. ... </quote> Thanks, jpo [1] http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000317.html