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