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 -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/52a35ffa.6040...@debian.org
