--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on November 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installation problem with Neon release



Hello,


2014-11-17 18:03 GMT+01:00  <rovedy at ig.com.br>:
> In order to install the Neon release, we updated to:
> - OS X Yosemite Version 10.10
> - XCode 6.1
> - opam 1.2.0
> - ocaml 4.02.1
> # + gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT  -c

This is apparently a known issue with Clang/XCode, but it should be
solved in 4.02 according to this report:

http://caml.inria.fr/mantis/view.php?id=6346

If this is not the case, you should report the problem to either OCaml
or Opam. Frama-C has nothing to do with it.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile