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



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/