--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on October 2009 ---
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/