--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on November 2011 ---
On Sat, Nov 26, 2011 at 6:13 PM, Pascal Cuoq <pascal.cuoq at gmail.com> 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 hopeless. Pascal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111126/3048ed30/attachment.htm>