--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2



Hello,

Le jeu. 15 oct. 2009 14:18:38 CEST,
geng chen <chengeng4001 at gmail.com> a ?crit :

> tang at tang-desktop:~/Desktop$ frama-c-gui -jessie ./first.c

In fact, you don't need to call frama-c-gui: the jessie plug-ins uses
Why's graphical interface, which is a different thing. 

> Generating Why function main
> gwhy-bin [...] why/first.why
> Computation of VCs...
> Computation of VCs done.
> Reading GWhy configuration...
> Config file '/home/tang/.gwhyrc' does not exists, using default config
> Fatal error: exception Not_found
> make: *** [first.stat] Error 2
> 

Did you run why-config (the script that detects which provers are
installed on your system) after the installation? gwhy is supposed to
ask you to do so when it's not the case, but it might have failed to
do so for some reason.

Regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile