--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on August 2013 ---
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>