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