--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on September 2009 ---
Hi, I would like to share with you some notes that helped us to install Beryllium (including some provers for Jessie) on Mac OS X. Regards Jens ############################################################### Notes to install the Beryllium release of Frama-C under Mac OS X Leopard (10.5.8) based on the notes of Pascal Cuoq. For Snow Leopard (10.6.x) see below! ############################################################### The following steps install supporting software form MacPorts under / opt/local. These notes assumes a fresh install of MacPorts (1.8.0) and the use of XCode >= 3.1.2. sudo port install cairo +quartz+no_x11 pango +quartz+no_x11 gtk2 +quartz sudo port install gtksourceview sudo port install graphviz sudo port install ocaml sudo port install mpfr Next: Get lablgtk-2.12.0 from http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/dist/lablgtk-2.12.0.tar.gz tar xvfz lablgtk-2.12.0.tar.gz cd lablgtk-2.12.0 ./configure --prefix=/opt/local make world # beware: do not use just "make", # it compiles only the bytecode version sudo make install Get ocamlgraph tar xvf ocamlgraph-1.2.tar cd ocamlgraph-1.2 ./configure --prefix=/opt/local make sudo make install Get Beryllium tar xvf frama-c-Beryllium-20090901.tar cd frama-c-Beryllium-20090901.tar ./configure --prefix=/opt/local make sudo make install Get alt-ergo: tar xvf alt-ergo-0.9.tar cd alt-ergo-0.9 ./configure --prefix=/opt/local make sudo make install Get CVC3: tar xvf cvc3-1.5.tar cd cvc3-1.5 ./configure --prefix=/opt/local make sudo make install SNOW LEOPARD: Due to the transition to 64-bit, binary compatibility of Snow Leopard is better than source-level compatibility at the moment, so a shortcut to install Frama-C on Snow Leopard is to compile on Leopard and to move the compiled binaries. ############################################################### -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/7fc8833a/attachment.htm