Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Beryllium on MacOS X (Leopard and Snow Leopard)
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
  • Date: Thu, 10 Sep 2009 14:29:01 +0200
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