--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on June 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Frama-C with opam under OS X 10.8



Hello Jens,


2013/6/14 Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de>:
> Hello,
>
> when trying to install Frama-C (Oxygen) with opam under OS X Mountain Lion I receive the following
> error message:
>
>>>>>>>>>>>>
>
> Generating   src/lib/my_bigint.ml
> ### stderr ###
> Makefile:2428: .depend: No such file or directory
> File "dgraph/dGraphTreeLayout.ml", line 517, characters 12-29:
> Warning 26: unused variable cut_corners_array.
> File "dgraph/dGraphTreeLayout.ml", line 517, characters 12-29:
> Warning 26: unused variable cut_corners_array.
> sed: RE error: illegal byte sequence
> make: *** [src/lib/my_bigint.ml] Error 1
>
> 'opam install frama-c' failed.
>
> <<<<<<<<<<
>
> I reported that issue on the opam issue tracker (https://github.com/OCamlPro/opam-repository/issues/715)
> but received the reply that this might be related to "Looks like upstream used some GNU-specific sed calls".
> I have therefore two questions:
>
> 1.) Are you aware of this problem ?
> 2.) Do you recommend that  I report it on the Frama-C BTS or do you consider it a problem of opam?
>

After a quick look at Oxygen's Makefile, it seems indeed that the
regex used to generate src/lib/my_bigint.ml in OCaml >= 3.12 when not
using zarith
was incorrect (and probably only worked by chance with GNU sed).
However, please note that there is now a Fluorine package in opam,
which ought to be exempt from this issue.

Best regards,

--
E tutto per oggi, a la prossima volta
Virgile