--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] patchFile



On Wed, Apr 11, 2012 at 8:04 PM, Boris Yakobowski <boris at yakobowski.org> wrote:
> You can also try to include the
> standard library which is packaged by Frama-C (and installed in
> $SHARE/frama-c/libc), but before doing so, you should really upgrade
> to Nitrogen.

And even then, we have patched a few things in these headers since
the release, but if you are familiar with C and you encounter a problem
you will know what to do.

Pascal