Package: src:frama-c Version: 20100401+boron+dfsg-1 Severity: normal User: [email protected] 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
