--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10



Julien Signoles a ?crit :
> Boris Hollas a ?crit :
>> So far, I'va installed
>>
>> ocaml
>> libgtksourceview2.0-dev
>> liblablgtk2-gnome-ocaml-dev
> 
> Also install the following packages:
> liblablgtksourceview-ocaml-dev
> graphviz

By the way, you can also install the package ocaml-native-compilers in 
order to compile sources faster.

--
Julien