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