Bug#731637: frama-c: FTBFS with ocaml 4.01.0

[Stéphane Glondu <glondu@debian.org>]

Source: frama-c
Version: 20130601+fluorine3+dfsg-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1

Hi,

frama-c FTBFS when binNMUed against ocaml 4.01.0.

From the amd64 build log:
> The first one was selected. Please disambiguate if this is wrong.
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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 /usr/lib/ocaml/zarith    -I +ocamlgraph src/kernel/messages.mli
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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 /usr/lib/ocaml/zarith    -I +ocamlgraph src/kernel/messages.ml
> File "src/kernel/messages.ml", line 27, characters 7-15:
> Warning 45: this open statement shadows the constructor Failure (which is later used)
> ocamlc.opt -c -w +a-4-6-7-9  -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/printer -I src/project -I src/type -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 /usr/lib/ocaml/zarith    -I +ocamlgraph src/ai/abstract_interp.mli
> File "src/ai/abstract_interp.mli", line 166, characters 4-33:
> Error: In this `with' constraint, the new definition of O
>        does not match its original definition in the constrained signature:
>        ...
>        The field `find' is required but not provided
> make[1]: *** [src/ai/abstract_interp.cmi] Error 2
> dh_auto_build: make -j1 returned exit code 2
> make[1]: Leaving directory `/«BUILDDIR»/frama-c-20130601+fluorine3+dfsg'
> make: *** [build-arch] Error 2

Full build logs available via:

  https://buildd.debian.org/status/package.php?p=frama-c&suite=sid

Cheers,

-- 
Stéphane