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



 

Hi,

Finally, we have installed Why 2.34 with success.

After several unsuccessful attempts, we have erased all files related to
the previous installations (why, frama-c, opam, lablgtk, libgnomecanvas,
libgnomecanvasmm, gtksourceview, and gtk+) and restarted the
installations.

We have used the ocaml 4.01.0 to compile the frama-c and why 2.34 (opam
switch 4.01.0).

Thank you! 

Em 18/11/2014 12:01, Gerlach, Jens escreveu: 

> Hello,
> 
> regarding Frama-C Neon under OSX (Yosemite) I use the following strategy:
> 
> - install opam and gtk2(?) libraries through macports
> 
> - install gmp through macports and create soft link with
> sudo ln -s /opt/local/include/gmp.h /usr/include/gmp.h 
> otherwise the installtion of zarith might fail
> 
> - opam install coqide.8.4.5 (if you need coq, 8.4.4 crashes on a regular basis)
> 
> - opam install why3.0.83 (this seems crucial for WP)
> 
> - opam install frama-c
> 
> Regards
> 
> Jens
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss [1]
 

Links:
------
[1]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141125/9c766abd/attachment.html>