Bug#559130: FTBFS: inconsistent assumptions over interface Gtk
Package: frama-c
Version: 20090901+beryllium+dfsg-2
Severity: serious
Justification: FTBFS
Your package FTBFS on all architectures with:
| ocamlc -c -w Ael -warn-error A -annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/project -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I lib/plugins -I lib -I +ocamlgraph -I src/syntactic_callgraph -I +lablgtk2 -I src/gui -I +lablgtk2 -I +ocamlgraph src/syntactic_callgraph/cg_viewer.ml
| File "src/syntactic_callgraph/cg_viewer.ml", line 1, characters 0-1:
| Error: The files /usr/lib/ocaml/lablgtk2/gBin.cmi
| and /usr/lib/ocaml/ocamlgraph/dGraphView.cmi
| make inconsistent assumptions over interface Gtk
| make[2]: *** [src/syntactic_callgraph/cg_viewer.cmo] Error 2
Build logs at the usual place:
https://buildd.debian.org/status/package.php?suite=unstable&p=frama-c
Mraw,
KiBi.
Reply to: