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



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