Source: frama-c Version: 20090601~beta1+dfsg-1 Severity: serious There was an error while trying to autobuild your package:
> sbuild (Debian sbuild) 0.58.2 (31 Jul 2009) on debian-31.osdl.marist.edu [...] > ocamlc -c -w Ael -warn-error A -annot -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 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 -g src/lib/dynlink_common_interface.ml > File "src/lib/dynlink_common_interface.ml", line 77, characters 25-491: > Warning P: this pattern-matching is not exhaustive. > Here is an example of a value that is not matched: > Inconsistent_implementation _ > File "src/lib/dynlink_common_interface.ml", line 1, characters 0-1: > Error: Error-enabled warnings (1 occurrences) > make[2]: *** [src/lib/dynlink_common_interface.cmo] Error 2 > make[2]: Leaving directory > `/build/buildd-frama-c_20090601~beta1+dfsg-1-s390-6yORoe/frama-c-20090601~beta1+dfsg' > make[1]: *** [override_dh_auto_build] Error 2 > make[1]: Leaving directory > `/build/buildd-frama-c_20090601~beta1+dfsg-1-s390-6yORoe/frama-c-20090601~beta1+dfsg' > make: *** [build] Error 2 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org