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

[Frama-c-discuss] binaries for linux?



thanks Pascal for the patch!
(maybe the page on the Jessie plugin could be more explicit on where to find
the sources)
I still get another error afterwards, that people don't seem to have. On any
run of "frama-c -jessie" (GUI mode), I get the error:

gwhy-bin [...] why/sat.why
Computation of VCs...
File "/usr/local/lib/why/why/jessie.why", line 1, characters 0-7:
Syntax error

Only the batch version works.
Are you aware of this problem?
I'm using the may 7th versions of both Frama-C and Why.
--
Yannick

On Fri, May 7, 2010 at 1:42 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:

> >
> > BTW, I could not find on the Frama-C website where to get the sources for
> > the Jessie plugin, now that they are not distributed with Frama-C.
> > I guess they are with Why?
>
> Yes, they are in Why 2.24 from http://why.lri.fr/
> (don't forget to apply the patch from
>
> http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-April/001918.html)
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100507/f2239213/attachment.htm>