--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on June 2013 ---
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