--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on November 2014 ---
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