Bug#580090: FTBFS with OCaml 3.12 because of undeclared overridden methods

[Stéphane Glondu <steph@glondu.net>]

Package: src:frama-c
Version: 20100401+boron+dfsg-1
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs

Hello,

While rebuilding all packages with a SVN snapshot of OCaml (version
3.12.0+dev17, revision 10268), your package failed to build on amd64.

Relevant part:
> ocamlc.opt -c -w Z -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   cil/src/cil.ml
> File "cil/src/cil.ml", line 5895, characters 2-368:
> Warning 7: the method pExp is overridden.
> File "cil/src/cil.ml", line 7688, characters 2-364:
> Warning 7: the method vinst is overridden.
> File "cil/src/cil.ml", line 7697, characters 2-99:
> Warning 7: the method vexpr is overridden.
> [...]
> File "cil/src/cil.ml", line 9433, characters 4-426:
> Warning 7: the method vtype is overridden.
> File "cil/src/cil.ml", line 1, characters 0-1:
> Error: Error-enabled warnings (27 occurrences)
> make[1]: *** [cil/src/cil.cmo] Error 2
> make[1]: Leaving directory `/tmp/frama-c-20100401+boron+dfsg'

The full build log is available at:
  http://debian.glondu.net/debian/ocaml31120dev17r10268/failures/frama-c_20100401%2Bboron%2Bdfsg-1%2B3.12.0%2Bdev17%2B10268_amd64.build

OCaml 3.12 introduces a new syntax to declare overridden methods, and
a new warning for undeclared overridden methods, that make frama-c
FTBFS because of error-enabled warnings.

The "right" fix would be to declare overridden methods (using
"method!"), but it is not backward-compatible with OCaml < 3.12. A
backward-compatible fix would be to disable error-enabled warnings
(i.e. compile without -warn-error A).


Best regards,

-- 
Stéphane


-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash