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

  • Subject: [Frama-c-discuss] installing Frama-C with opam under OS X 10.8
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
  • Date: Fri, 14 Jun 2013 11:23:07 +0000
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