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

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