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



Hello,

Hollas Boris (CR/AEY1) a ?crit :
> There seem to be two bugs in the configure script:
> - it requires bash, which doesn't have to be present on all systems.
> - it doesn't detect the location of include and of library files.

Please, report these bugs on the bts (http://bts.frama-c.com) if you 
expect that someone fixes them.

Note that the first one (Frama-C requires bash) may be as a feature 
which should be better documented. By the way, do you know what are the 
bash-isms used by the configure script?

br,
Julien