Bug#544833: frama-c - FTBFS: Warning P: this pattern-matching is not exhaustive.
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
Reply to: