Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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