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



Can you compile it with ./configure && gmake on OpenBSD? Where are your include files and libs installed?

-----Urspr?ngliche Nachricht-----
Von: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] Im Auftrag von Richard Bonichon
Gesendet: Mittwoch, 14. Oktober 2009 18:00
An: Frama-C public discussion
Betreff: Re: [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2

>> There seem to be two bugs in the configure script:
>> - it requires bash, which doesn't have to be present on all systems.

This is weird. I do not have bash installed on my OpenBSD box and
Frama-C compiles just fine
Moreover the first  line of the configure script just calls /bin/sh

Maybe your default /bin/sh on FreeBSD is not sh-compatible (which
would be weird as well).