--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on October 2009 ---
Thank you for helping. I am a new stuff in this filed, I've no idea of bash-isms. Could you tell me something about it? Best regards, Chen 2009/10/14 Julien Signoles <Julien.Signoles at cea.fr> > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091014/66d4d561/attachment.htm