--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installation on Ubuntu



I would like to share my method to install frama-c-Fluorine
20130601<http://frama-c.com/download.html>
  in a fresh ubuntu system 12.04:

Apart from the guide in http://frama-c.com/install-fluorine-20130601.html .
I also install the gmp and zarith library by using the following command:

sudo apt-get install ocaml ocaml-native-compilers graphviz
liblablgtksourceview2-ocaml-dev liblablgtk2-gnome-ocaml-dev
libzarith-ocaml-dev libgmp-dev ocaml-findlib


Then install the frama-c by configure with zarith library:

./configure --enable-zarith=/usr/lib/ocaml/zarith && make && sudo make install
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130826/c4283144/attachment.html>