Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] patchFile

  • Subject: [Frama-c-discuss] patchFile
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
  • Date: Wed, 11 Apr 2012 20:21:39 +0200
  • In-reply-to: <CABbVA-C4bBkwoUEe0KA6hDtN9ScXiDofvyyQe6q=6d_Kaa4abA@mail.gmail.com>
  • References: <C7C9CF2CAED7624F9C0B900A19A24EEE047208DA@njcorpmb1.dscinjcorp.com> <CABbVA-C4bBkwoUEe0KA6hDtN9ScXiDofvyyQe6q=6d_Kaa4abA@mail.gmail.com>
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