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] installing Nitrogen release on Mac

  • Subject: [Frama-c-discuss] installing Nitrogen release on Mac
  • From: pascal.cuoq at (Pascal Cuoq)
  • Date: Sat, 26 Nov 2011 18:17:22 +0100
  • In-reply-to: <>
  • References: <7BAFF59B-AA79-4F29-83A8-044C1466E82C@UDel.Edu> <>

On Sat, Nov 26, 2011 at 6:13 PM, Pascal Cuoq <pascal.cuoq at> wrote:

> I forgot to mention one alternative worth trying, which is to compile
> Nitrogen using the OCaml compiler that is provided with all necessary
> libraries as part of the existing Carbon package. Give precedence
> to /usr/local/Frama-C_Carbon/ocaml-3.12.0/bin/ in your PATH, and directly
> compile Nitrogen.

Actually, no, this will only work on Leopard, because that package was
prepared on Leopard, and Apple breaks the entire compilation chain from one
OS version to the next. you may be able to get the bytecode version working
this way on a more recent version of OS X, but the native code version is

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>