---
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
- Subject: [Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Mon, 19 Apr 2010 13:27:16 +0200
- In-reply-to: <4BCC1FD7.40305@cea.fr>
- References: <1271664766.2090.3.camel@iti27> <20100419102741.3d1f3c42@is010235> <1271668015.2090.24.camel@iti27> <4BCC1FD7.40305@cea.fr>
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