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] 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