--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on April 2010 ---
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 |