--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2012 ---
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