[Frama-c-discuss] Beryllium on MacOS X (Leopard and Snow Leopard)

Jens Gerlach jens.gerlach at first.fraunhofer.de
Thu Sep 10 14:29:01 CEST 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 


More information about the Frama-c-discuss mailing list