--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on April 2010 ---
Here is a patch that should fix the problem. apply using patch -p0 < why-2.24.patch in the main directory where you uncompressed why-2.24.tar.gz Sorry for the inconvenience. I'm waiting for a while, if other problems like that show up, and then we will make a new release - Claude Claude Marche wrote: > Nicholas Mc Guire wrote: >> this will generate the file simplify/hello but not the expected >> simplify/hello_why.sx - so patching the rule in the makefile to read >> >> > This looks like related to one of the very recent changes before the > release. Although it took me a little time, > I am now able reproduce this behavior. I will provide a fix as soon as > possible. > > - Claude > > > > > -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex | -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: why-2.24.patch Type: text/x-patch Taille: 1495 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100421/675e83e2/attachment.bin>