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