--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unable to work with large projects



Alexandre Constantino a ?crit :
> 2) also support the use of lbt (instead of only ltl2ba), if that is possible: http://www.tcs.hut.fi/Software/maria/tools/lbt/  (the reason is that it's already available at debian/ubuntu repos)
> 

ltl2ba can be added in Debian if there is a strong wish.

> Copying to   lib/dgraph.cmi
> cp: cannot stat `ocamlgraph/dgraph/dgraph.cmi': No such file or directory
> -----
> I have installed liblablgtk2-gnome-ocaml-dev on my system, but the problem is that that version doesn't has the dgraph.cmi file... nor any other Debian package =(
> 

Frama-c (Beryllium-20090902) requires ocamlgraph 1.3 and Debian has
ocamlgraph 1.2.
An update of the package will come during next week, along with the new
frama-c and why.

HTWH,

-- 
Mehdi Dogguy ???? ?????
http://dogguy.org/