--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on October 2009 ---
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