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