--- layout: fc_discuss_archives title: Message 37 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,

Thank you for reply.
We tried to fix the problem clang/XCode without sucess.

We have another laptop with Frama-C Fluorine (20130601) release, Why3
Verification Platform 0.81 in a OS X Mountain Lion Version 10.8.2.
Because of our previous experience, we intend to update only the Frama-C
version in this laptop.
Will the following commands work?

$ opam remove frama-c
$ opam install frama-c

Best regards,
Rovedy, Nanci

Em 17/11/2014 15:21, Virgile Prevosto escreveu: 

> 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 [1]
> 
> 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,
 

Links:
------
[1] http://caml.inria.fr/mantis/view.php?id=6346
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141118/96d5085d/attachment.html>