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