Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
  • Date: Mon, 19 Apr 2010 12:04:07 +0200
  • In-reply-to: <4BCC1F14.30400@cea.fr>
  • References: <1271664766.2090.3.camel@iti27> <20100419102741.3d1f3c42@is010235> <1271668015.2090.24.camel@iti27> <4BCC1E1A.5040108@inria.fr> <4BCC1F14.30400@cea.fr>
> 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>