--- layout: fc_discuss_archives title: Message 7 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,

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?

Regards
Jens