--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Nitrogen release on Mac



Has anyone installed the Nitrogen release on OS X?

I have gotten stuck trying to build some of the dependencies.   Here, for example:

configure: WARNING: gui disabled because /opt/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa missing.

I installed ocaml and other packages using Macports (port install ocaml, ...) but I can't seem to find any package that will create that particular file.

BTW, does anyone know why there is not an OS X binary release, like there is for Carbon?

Thanks,
Steve