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] Oxygen on Mac OS X Mountain Lion

  • Subject: [Frama-c-discuss] Oxygen on Mac OS X Mountain Lion
  • From: boris at (Boris Yakobowski)
  • Date: Fri, 5 Oct 2012 14:56:32 +0300
  • In-reply-to: <>
  • References: <>

Hi Jens

Disclaimer : I'm not a mac expert at all (quite the contrary in fact),
but not many people currently use one here.

On Wed, Sep 26, 2012 at 8:47 AM, Jens Gerlach
<jens.gerlach at> wrote:
> configure: gui: no, /opt/local/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.cmxa missing
> but there is
>      /opt/local/lib/ocaml/site-lib/lablgtk2/lablgtksourceview.cmxa
> available (without the the final "2").

I'm afraid this might the binding for labgtksourceview1. If so, the
compilation of the GUI will fail later. Did you compile Lablgtk
yourself, or did you get a package?

> Generating   src/lib/
> sed: RE error: illegal byte sequence
> make: *** [src/lib/] Error 1

According to someone more knowledgeable than me, this is the result of
a not-so intelligent change from Apple in its sed implementation.
Google tells us that the encoding of the file on which sed is applied
must correspond to you C locale (see eg. A few possibilities :
- reencode src/lib/ in utf-8 (assuming you use this locale)
- change your C locale to iso8859-1 (untested, should work)
- install Zarith :-)

A last word of warning: the C linker in Mountain Lion do not cooperate
very well with the current OCaml compilers, so it is not clear that
compilation will succeed afterwards anyway.