--- layout: fc_discuss_archives title: Message 18 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



> liblablgtksourceview2-ocaml-dev will only be available on the  
> incoming Lucid Lynx 10.04 but is not available on Ubuntu 9.10.  
> However, for Beryllium 2, liblablgtksourceview-ocaml-dev should le  
> enough though.

Regarding Ubuntu 10.04 (beta) I would like to add that it comes along  
with packages for frama-c/beryllium2 and why-2.23.
There are also packages for Alt-ergo and CVC3.
I tried these package on some algorithms from our tutorial (http://www.first.fraunhofer.de/owx_download/acsl-by-example-4_2_1.pdf 
)
and it seems to work quite well.

Regards Jens



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100419/7fe026b5/attachment.htm>