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

Thank you for helping. Now it works well.
Best regards,
Chen

2009/10/15 Claude Marche <Claude.Marche at inria.fr>

> Hi,
>
> I confirm that the problem is due to missing .whyrc, which is generated
> by running
>
>  why-config
>
> In earlier versions, there was a more friendly message, I will investigate.
>
> - Claude
>
> Virgile Prevosto wrote:
> > 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,
> >
>
>
> --
> 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 <http://www.lri.fr/%7Emarche/%0AF-91893> ORSAY Cedex
>      |
>
>
>
>
>
>
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091015/468b0f59/attachment.htm