--- layout: fc_discuss_archives title: Message 34 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



hi, everyone
Yestoday, some one told me that my problem could be sloved with the newest
version of why and frama-c. I've tried it, I install why 2.20 and
frama-c-Beryllium-20090902 on ubuntu, but another problem occured. Here is
the screenshot:
-------------------------------------------------------------------------------------
tang at tang-desktop:~/Desktop$ frama-c-gui -jessie ./first.c
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
-------------------------------------------------------------------------------------

Could some one help me ?
Best regards,
Chen

2009/10/15 Mehdi Dogguy <mehdi at dogguy.org>

> Richard Bonichon a ?crit :
> >> Maybe your default /bin/sh on FreeBSD is not sh-compatible (which
> >> would be weird as well).
> > Of course everybody read "sh-compatible" as meaning "posix-compliant" :-)
> >
> > For example, there were some problems some times ago (see
> >
> http://www.bogofilter.org/pipermail/bogofilter-dev/2002-November/000683.html)
> >
> > If you try and succeed with another (supposedly posix compliant) shell
> > (neither sh nor bash in your case - maybe ksh) then you will know who
> > to blame ...
>
> In Debian, dash is now the default shell and it works perfectly well.
> Moreover, we now have a FreeBSD port (Debian GNU/kFreebsd) and frama-c
> compiles perfectly well on all of them.
>
> To check for bashims, you might use:
>
>
> http://svn.debian.org/wsvn/devscripts/trunk/scripts/checkbashisms.pl
>
> Cheers,
>
> --
> Mehdi Dogguy ???? ?????
> http://dogguy.org/
>
> _______________________________________________
> 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/47016b6e/attachment.htm