--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Oxygen on Mac OS X Mountain Lion



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 first.fraunhofer.de> 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/my_bigint.ml
> sed: RE error: illegal byte sequence
> make: *** [src/lib/my_bigint.ml] 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.
https://trac.macports.org/ticket/35421). A few possibilities :
- reencode src/lib/my_bigint.ml.bigint 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.

HTH,

-- 
Boris